Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Late Papers: RR2010
Article type: Research Article
Authors: Krötzsch, Markus; | Rudolph, Sebastian | Schmitt, Peter H.;
Affiliations: Department of Computer Science, University of Oxford, UK. E-mail: markus.kroetzsch@cs.ox.ac.uk | Institute of Artificial Intelligence, Technische Universität Dresden, Germany. E-mail: sebastian.rudolph@tu-dresden.de | Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany. E-mail: pschmitt@ira.uka.de
Note: [] Corresponding author.
Note: [] An earlier version of this paper, entitled “On the Semantic Relationship between Datalog and Description Logics,” has been published in the proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), Springer 2010.
Abstract: Translations to (first-order) Datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities of function-free Horn logic and DL is understood only poorly. Although Description Logic Programs (DLP) have been described as DLs in the “expressive intersection” of DL and Datalog, it is unclear what an intersection of two syntactically incomparable logics is, even if both have a first-order logic semantics. In this work, we offer a characterisation for DL fragments that can be expressed, in a concrete sense, in Datalog. We then determine the largest such fragment for the DL 𝒜ℒ𝒞, and provide an outlook on the extension of our methods to more expressive DLs.
Keywords: Description logic programs, OWL RL, conservative extension, knowledge representation and reasoning
DOI: 10.3233/SW-130126
Journal: Semantic Web, vol. 6, no. 1, pp. 63-79, 2015
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl