01166nas a2200157   4500008004100000245003800041210003800079300001400117520074700131653002300878653000800901653001000909100001800919700002000937856005100957       2012                        eng d00aExtending Description Logic Rules0 aExtending Description Logic Rules  a345–3593 a<p>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.</p>
10adescription logics10aOWL10aRules1 aCarral, David1 aHitzler, Pascal  uhttp://dx.doi.org/10.1007/978-3-642-30284-8_30