%0 Book Section %B Handbook of the History of Logic %D 2014 %T Logics for the Semantic Web %A Pascal Hitzler %A Jens Lehmann %A Axel Polleres %E Dov. M. Gabbay %E John Woods %E Jörg Siekmann %B Handbook of the History of Logic %I Elsevier %V 9 %P 679-710 %G eng %0 Conference Paper %B Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures %D 2011 %T OWL and Rules %A Adila Krisnadhi %A Frederick Maier %A Pascal Hitzler %E Axel Polleres %E Claudia d'Amato %E Marcelo Arenas %E Siegfried Handschuh %E Paula Kroner %E Sascha Ossowski %E Peter F. Patel-Schneider %X 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. %B Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures %I Springer %V 6848 %P 382-415 %8 08/2011 %@ 978-3-642-23031-8 %G eng %U http://dx.doi.org/10.1007/978-3-642-23032-5 %R 10.1007/978-3-642-23032-5 %0 Conference Paper %B Web Reasoning and Rule Systems, Third International Conference, RR 2009 %D 2009 %T Paraconsistent Reasoning for OWL 2 %A Yue Ma %A Pascal Hitzler %E Axel Polleres %E Terrance Swift %X

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.

%B Web Reasoning and Rule Systems, Third International Conference, RR 2009 %I Springer %C Chantilly, VA, USA %V 5837 %P 197–211 %G eng %U http://dx.doi.org/10.1007/978-3-642-05082-4_14 %R 10.1007/978-3-642-05082-4_14 %0 Conference Paper %B Web Reasoning and Rule Systems, Third International Conference, RR 2009 %D 2009 %T A Preferential Tableaux Calculus for Circumscriptive ALCO %A Stephan Grimm %A Pascal Hitzler %E Axel Polleres %E Terrance Swift %X

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.

%B Web Reasoning and Rule Systems, Third International Conference, RR 2009 %I Springer %C Chantilly, VA, USA %V 5837 %P 40–54 %G eng %U http://dx.doi.org/10.1007/978-3-642-05082-4_4 %R 10.1007/978-3-642-05082-4_4