Sciweavers

5818 search results - page 185 / 1164
» A reasonable Semantic Web
Sort
View
SWAP
2007
15 years 8 months ago
Talia: A Framework for Philosophy Scholars
In this paper we present Talia, a novel implementation of a semantic digital web library system, which is part of the Discovery project. Talia deploys Semantic Web technologies and...
Michele Nucci, Stefano David, Daniel Hahn, Michele...
TIME
1994
IEEE
15 years 11 months ago
Hypothetical Reasoning from Situation Calculus to Event Calculus
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
Alessandro Provetti
DLOG
2008
15 years 9 months ago
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...
Franz Baader, Novak Novakovik, Boontawee Suntisriv...