Sciweavers

593 search results - page 2 / 119
» RDF and Logic: Reasoning and Extension
Sort
View
JAIR
2008
126views more  JAIR 2008»
13 years 5 months ago
Extended RDF as a Semantic Foundation of Rule Markup Languages
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
SEMWEB
2007
Springer
13 years 11 months ago
Logical Foundations of (e)RDF(S): Complexity and Reasoning
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Jos de Bruijn, Stijn Heymans
CADE
2010
Springer
13 years 6 months ago
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
ICDT
2007
ACM
136views Database» more  ICDT 2007»
13 years 11 months ago
Representing Data as Resources in RDF and OWL
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...
Pierre-Antoine Champin
ESWS
2008
Springer
13 years 7 months ago
dRDF: Entailment for Domain-Restricted RDF
Abstract. We introduce domain-restricted RDF (dRDF) which allows to associate an RDF graph with a fixed, finite domain that interpretations for it may range over. We show that dRDF...
Reinhard Pichler, Axel Polleres, Fang Wei, Stefan ...