Document Type
Conference Proceeding
Publication Date
5-1-2012
Abstract
Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently the most prominent paradigms used for modeling knowledge for the Semantic Web. While both of these approaches are based on classical logic, the paradigms also differ significantly, so that naive combinations result in undesirable properties such as undecidability. Recent work has shown that many rules can in fact be expressed in OWL. In this paper we extend this work to include some types of rules previously excluded. We formally define a set of first order logic rules, C-Rules, which can be expressed within OWL extended with role conjunction. We also show that the use of nominal schemas results in even broader coverage.
Repository Citation
Martinez, D. C.,
& Hitzler, P.
(2012). Extending Description Logic Rules. Lecture Notes in Computer Science, 7295, 345-359.
https://corescholar.libraries.wright.edu/cse/72
DOI
10.1007/978-3-642-30284-8_30
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Attached is the unpublished, peer-reviewed version of the proceeding. The final, publisher's version of this proceeding can be found at http://dx.doi.org/10.1007/978-3-642-30284-8_30.
Presented at the 9th Extended Semantic Web Conference (ESWC), Haraklion, Greece, May 27-31, 2012.