%0 Book Section %B Advances in Pattern-Based Ontology Engineering %D 2021 %T Seed Patterns for Modeling Trees %A Aaron Eberhart %A David Carral %A Pascal Hitzler %A Hilmar Lapp %A Sebastian Rudolph %X Trees – i.e., the type of data structure known under this name – are central to many aspects of knowledge organization. We investigate some central design choices concerning the ontological modeling of such trees. In particular, we consider the limits of what is expressible in the Web Ontology Language and provide a reusable ontology design pattern for trees. %B Advances in Pattern-Based Ontology Engineering %I IOS Press %P 48-67 %G eng %0 Conference Paper %B 8th Workshop on Ontology Design and Patterns - WOP2017 %D 2017 %T On the Ontological Modeling of Trees %A David Carral %A Pascal Hitzler %A Hilmar Lapp %A Sebastian Rudolph %B 8th Workshop on Ontology Design and Patterns - WOP2017 %G eng %0 Conference Paper %B Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014. %D 2014 %T All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles %A David Carral %A Adila Krisnadhi %A Sebastian Rudolph %A Pascal Hitzler %E C. Maria Keet %E Valentina A. M. Tamma %K description logics %K Horn Logics %K OWL %X We show that occurrences of the universal quantifier in the left-hand side of general concept inclusions can be rewritten into EL++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of EL++ and Horn-SROIQ using standard reasoners. %B Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014. %I CEUR-WS.org %V 1265 %P 97-108 %8 10/2014 %G eng %U http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf %0 Journal Article %J ACM Trans. Comput. Log. %D 2013 %T Complexities of Horn Description Logics %A Markus Krötzsch %A Sebastian Rudolph %A Pascal Hitzler %K computational complexity %K description logics %K Horn logic %X Description Logics (DLs) have become a prominent paradigm for representing knowledge bases in a variety of application areas. Central to leveraging them for corresponding systems is the provision of a favourable balance between expressivity of the knowledge representation formalism on the one hand, and runtime performance of reasoning algorithms on the other. Due to this, Horn description logics (Horn DLs) have attracted attention since their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large sets of instance data (ABoxes). However, the natural question whether Horn DLs also provide advantages for schema (TBox) reasoning has hardly been addressed so far. In this paper, we therefore provide a thorough and comprehensive analysis of the combined complexities of Horn DLs. While the combined complexity for many Horn DLs studied herein turns out to be the same as for their non-Horn counterparts, we identify subboolean DLs where Hornness simplifies reasoning. We also provide convenient normal forms for Horn DLs. %B ACM Trans. Comput. Log. %V 14 %P 2 %G eng %U http://doi.acm.org/10.1145/2422085.2422087 %R 10.1145/2422085.2422087 %0 Conference Paper %B The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings %D 2013 %T An Ontology Design Pattern for Cartographic Map Scaling %A David Carral %A Simon Scheider %A Krzysztof Janowicz %A Charles Vardeman %A Adila Krisnadhi %A Pascal Hitzler %E Philipp Cimiano %E Óscar Corcho %E Valentina Presutti %E Laura Hollink %E Sebastian Rudolph %K Map Scaling %K Ontology Design Patterns %K OWL %X

The concepts of scale is at the core of cartographic abstraction and mapping. It defines which geographic phenomena should be displayed, which type of geometry and map symbol to use, which measures can be taken, as well as the degree to which features need to be exaggerated or spatially displaced. In this work, we present an ontology design pattern for map scaling using the Web Ontology Language (OWL) within a particular extension of the OWL RL profile. We explain how it can be used to describe scaling applications, to reason over scale levels, and geometric representations. We propose an axiomatization that allows us to impose meaningful constraints on the pattern, and, thus, to go beyond simple surface semantics. Interestingly, this includes several functional constraints currently not expressible in any of the OWL profiles. We show that for this specific scenario, the addition of such constraints does not increase the reasoning complexity which remains tractable.

%B The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings %I Springer %V 7882 %P 76–93 %G eng %U http://dx.doi.org/10.1007/978-3-642-38288-8_6 %R 10.1007/978-3-642-38288-8_6 %0 Book %D 2013 %T 语义Web技术基础 %A Pascal Hitzler %A Markus Krötzsch %A Sebastian Rudolph %? Yong Yu %? Guilin Qi %? Haofen Wang %? Chang Liu %I Tsinghua University Press %G eng %0 Web Page %D 2012 %T OWL 2 Web Ontology Language: Primer (Second Edition) %A Pascal Hitzler %A Markus Krötzsch %A Bijan Parsia %A Peter F. Patel-Schneider %A Sebastian Rudolph %P W3C Recommendation %8 12/11/2012 %G eng %U http://www.w3.org/TR/owl2-primer %0 Journal Article %J Logical Methods in Computer Science %D 2012 %T Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog %A Sebastian Rudolph %A Markus Krötzsch %A Pascal Hitzler %K datalog %K decision diagrams %K description logics %K type elimination %X We propose a novel, type-elimination-based method for standard reasoning in the description logic SHIQbs extended by DL-safe rules. To this end, we first establish a knowledge compilation method converting the terminological part of an ALCIb knowledge base into an ordered binary decision diagram (OBDD) that represents a canonical model. This OBDD can in turn be transformed into disjunctive Datalog and merged with the assertional part of the knowledge base in order to perform combined reasoning. In order to leverage our technique for full SHIQbs, we provide a stepwise reduction from SHIQbs to ALCIb that preserves satisfiability and entailment of positive and negative ground facts. The proposed technique is shown to be worst-case optimal w.r.t. combined and data complexity. %B Logical Methods in Computer Science %V 8 %G eng %U http://dx.doi.org/10.2168/LMCS-8(1:12)2012 %R 10.2168/LMCS-8(1:12)2012 %0 Conference Paper %B Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings %D 2011 %T Local Closed World Semantics: Grounded Circumscription for Description Logics %A Adila Krisnadhi %A Kunal Sengupta %A Pascal Hitzler %E Sebastian Rudolph %E Claudio Gutierrez %X We present an improved local closed world extension for description logics. It is based on circumscription, and deviates from previous circumscriptive description logics in that extensions of minimized predicates may contain only extensions of named individuals in the knowledge base. Besides an (arguably) higher intuitive appeal, the improved semantics is applicable to expressive description logics without loss of decidability. %B Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings %I Springer %V 6902 %P 263-268 %8 08/2011 %@ 978-3-642-23579-5 %G eng %U http://dx.doi.org/10.1007/978-3-642-23580-1 %R 10.1007/978-3-642-23580-1 %0 Conference Paper %B Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 %D 2011 %T Local Closed World Semantics: Keep it simple, stupid! %A Adila Krisnadhi %A Kunal Sengupta %A Pascal Hitzler %E Riccardo Rosati %E Sebastian Rudolph %E Michael Zakharyaschev %K circumscription %K closed world %K decidability %K Description Logic %X A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web applications. However, none of the proposals made to date for extending description logics with local closed world capabilities has had any significant impact on applications. We believe that one of the key reasons for this is that current proposals fail to provide approaches which are intuitively accessible for application developers and at the same time are applicable, as extensions, to expressive description logics such as SROIQ, which underlies the Web Ontology Language OWL. In this paper we propose a new approach which overcomes key limitations of other major proposals made to date. It is based on an adaptation of circumscriptive description logics which, in contrast to previously reported circumscription proposals, is applicable to SROIQ without rendering reasoning over the resulting language undecidable. %B Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 %I CEUR-WS.org %V 745 %8 07/2011 %G eng %U http://ceur-ws.org/Vol-745/paper_12.pdf %0 Conference Paper %B Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 %D 2011 %T Nominal Schemas for Integrating Rules and Description Logics %A Markus Krötzsch %A Frederick Maier %A Adila Krisnadhi %A Pascal Hitzler %E Riccardo Rosati %E Sebastian Rudolph %E Michael Zakharyaschev %X We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas. %B Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 %I CEUR-WS.org %V 745 %8 07/2011 %G eng %U http://ceur-ws.org/Vol-745/paper_39.pdf %0 Conference Paper %B Web Reasoning and Rule Systems - 5th International Conference, RR 2011 %D 2011 %T Paraconsistent Semantics for Hybrid MKNF Knowledge Bases %A Shasha Huang %A Qingguo Li %A Pascal Hitzler %E Sebastian Rudolph %E Claudio Gutierrez %X

Hybrid MKNF knowledge bases, originally based on the stable model semantics, is a mature method of combining rules and Description Logics (DLs). The well-founded semantics for such knowledge bases has been proposed subsequently for better efficiency of reasoning. However, integration of rules and DLs may give rise to inconsistencies, even if they are respectively consistent. Accordingly, reasoning systems based on the previous two semantics will break down. In this paper, we employ the four-valued logic proposed by Belnap, and present a paraconsistent semantics for Hybrid MKNF knowledge bases, which can detect inconsistencies and handle it effectively. Besides, we transform our proposed semantics to the stable model semantics via a linear transformation operator, which indicates that the data complexity in our paradigm is not higher than that of classical reasoning. Moreover, we provide a fixpoint algorithm for computing paraconsistent MKNF models.

%B Web Reasoning and Rule Systems - 5th International Conference, RR 2011 %I Springer %C Galway, Ireland %V 6902 %P 93–107 %G eng %U http://dx.doi.org/10.1007/978-3-642-23580-1_8 %R 10.1007/978-3-642-23580-1_8 %0 Conference Paper %B Poster at DECOI2009, the International Workshop on Collective Intelligence andEvolution %D 2009 %T An Evolutionary Computing Approach for Reasoning in the Semantic Web %A Gaston Tagni %A Christophe Gueret %A Stefan Schlobach %A Sebastian Rudolph %A Pascal Hitzler %B Poster at DECOI2009, the International Workshop on Collective Intelligence andEvolution %C Leiden, The Netherlands %G eng %0 Book %B Textbooks in Computing %D 2009 %T Foundations of Semantic Web Technologies %A Pascal Hitzler %A Markus Krötzsch %A Sebastian Rudolph %B Textbooks in Computing %I Chapman and Hall/CRC Press %P 455 %G eng %0 Web Page %D 2009 %T OWL 2 Web Ontology Language: Primer %A Pascal Hitzler %A Markus Krötzsch %A Bijan Parsia %A Peter F. Patel-Schneider %A Sebastian Rudolph %P W3C Recommendation %8 10/27/2009 %G eng %U http://www.w3.org/TR/2009/REC-owl2-primer-20091027 %0 Book %D 2008 %T Semantic Web Grundlagen %A Pascal Hitzler %A Markus Krötzsch %A Sebastian Rudolph %A York Sure %I Springer textbook %P 277 %G eng