An axiomatic semantics for rdf, rdf-s, and daml+oil
AbstractProviding a means of translating RDF, RDF-S, and DAML+OIL descriptions into a first-order predicate calculus logical theory not only specifies the intended meaning of the descriptions, but also produces a representation of the descriptions from which inferences can automatically be made using traditional automatic theorem provers and problem solvers. For example, the DAML+OIL axioms enable a reasoner to infer from the two statements “Class Male and class Female are disjointWith.” and “John is type Male.” that the statement “John is type Female.” is false.
Similar books and articles
An Architecture for Linguistic and Semantic Analysis on the ARXMLIV Corpus.D. Ginev, C. David & M. Kohlhase - unknown
Maintaining the World’s Architecture.Dominique de Courcelles - 2011 - Philosophy and Rhetoric 44 (1):72-78.
Price Fixing in the Icelandic Oil and Gas Industry: Where Were the Boards?Eythor Ivar Jonsson - 2007 - International Journal of Business Governance and Ethics 3 (2):163-178.
Added to PP
Historical graph of downloads