TY - CHAP T1 - Logics for the Semantic Web T2 - Handbook of the History of Logic Y1 - 2014 A1 - Pascal Hitzler A1 - Jens Lehmann A1 - Axel Polleres ED - Dov. M. Gabbay ED - John Woods ED - Jörg Siekmann JF - Handbook of the History of Logic PB - Elsevier VL - 9 ER - TY - CONF T1 - OWL and Rules T2 - Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures Y1 - 2011 A1 - Adila Krisnadhi A1 - Frederick Maier A1 - Pascal Hitzler ED - Axel Polleres ED - Claudia d'Amato ED - Marcelo Arenas ED - Siegfried Handschuh ED - Paula Kroner ED - Sascha Ossowski ED - Peter F. Patel-Schneider AB - The relationship between the Web Ontology Language OWL and rule-based formalisms has been the subject of many discussions and research investigations, some of them controversial. From the many attempts to reconcile the two paradigms, we present some of the newest developments. More precisely, we show which kind of rules can be modeled in the current version of OWL, and we show how OWL can be extended to incorporate rules. We finally give references to a large body of work on rules and OWL. JF - Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures PB - Springer VL - 6848 SN - 978-3-642-23031-8 UR - http://dx.doi.org/10.1007/978-3-642-23032-5 ER - TY - CONF T1 - Paraconsistent Reasoning for OWL 2 T2 - Web Reasoning and Rule Systems, Third International Conference, RR 2009 Y1 - 2009 A1 - Yue Ma A1 - Pascal Hitzler ED - Axel Polleres ED - Terrance Swift AB -

A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as under the classical semantics. However, this approach has so far only been studied for the basid description logic ALC. In this paper, we further study how to extend the four-valued semantics to the more expressive description logic SROIQ which underlies the forthcoming revision of the Web Ontology Language, OWL 2, and also investigate how it fares when adapated to tractable description logics including EL++, DL-Lite, and Horn-DLs. We define the four-valued semantics along the same lines as for ALC and show that we can retain most of the desired properties.

JF - Web Reasoning and Rule Systems, Third International Conference, RR 2009 PB - Springer CY - Chantilly, VA, USA VL - 5837 UR - http://dx.doi.org/10.1007/978-3-642-05082-4_14 ER - TY - CONF T1 - A Preferential Tableaux Calculus for Circumscriptive ALCO T2 - Web Reasoning and Rule Systems, Third International Conference, RR 2009 Y1 - 2009 A1 - Stephan Grimm A1 - Pascal Hitzler ED - Axel Polleres ED - Terrance Swift AB -

Nonmonotonic extensions of description logics (DLs) allow for default and local closed-world reasoning and are an acknowledged desired feature for applications, e.g. in the Semantic Web. A recent approach to such an extension is based on McCarthy’s circumscription, which rests on the principle of minimising the extension of selected predicates to close off dedicated parts of a domain model. While decidability and complexity results have been established in the literature, no practical algorithmisation for circumscriptive DLs has been proposed so far. In this paper, we present a tableaux calculus that can be used as a decision procedure for concept satisfiability with respect to conceptcircumscribed ALCO knowledge bases. The calculus builds on existing tableaux for classical DLs, extended by the notion of a preference clash to detect the non-minimality of constructed models.

JF - Web Reasoning and Rule Systems, Third International Conference, RR 2009 PB - Springer CY - Chantilly, VA, USA VL - 5837 UR - http://dx.doi.org/10.1007/978-3-642-05082-4_4 ER -