TY - JOUR T1 - The Enslaved Ontology: Peoples of the Historic Slave Trade JF - Journal of Web Semantics Y1 - 2020 A1 - Cogan Shimizu A1 - Pascal Hitzler A1 - Quinn Hirt A1 - Dean Rehberger A1 - Seila Gonzalez Estrecha A1 - Catherine Foley A1 - Alicia M. Sheill A1 - Walter Hawthorne A1 - Jeff Mixter A1 - Ethan Watrall A1 - Ryan Carty A1 - Duncan Tarr KW - data integration KW - digital humanities KW - history of the slave trade KW - modular ontology KW - Ontology Design Patterns AB -

We present the Enslaved Ontology (V1.0) which was developed for integrating data about the historic slave trade from diverse sources in a use case driven by historians. Ontology development followed modular ontology design principles as derived from ontology design pattern application best practices and the eXtreme Design Methodology. Ontology content focuses on data about historic persons and the event records from which this data can be taken. It also incorporates provenance modeling and some temporal and spatial aspects. The ontology is available as serialized in the Web Ontology Language OWL, and carries modularization annotations using the Ontology Pattern Language (OPLa). It is available under the Creative Commons CC BY 4.0 license.

VL - 63 ER - TY - CONF T1 - A Method for Automatically Generating Schema Diagrams for OWL Ontologies T2 - 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC) Y1 - 2019 A1 - Cogan Shimizu A1 - Aaron Eberhart A1 - Nazifa Karima A1 - Quinn Hirt A1 - Adila Krisnadhi A1 - Pascal Hitzler KW - design patterns KW - evaluation KW - implementation KW - ontology KW - schema diagrams KW - visualization AB -

Interest in Semantic Web technologies, including knowledge graphs and ontologies, is increasing rapidly in industry and academics. In order to support ontology engineers and domain experts, it is necessary to provide them with robust tools that facilitate the ontology engineering process. Often, the schema diagram of an ontology is the most important tool for quickly conveying the overall purpose of an ontology. In this paper, we present a method for programmatically generating a schema diagram from an OWL file. We evaluate its ability to generate schema diagrams similar to manually drawn schema diagrams and show that it outperforms VOWL and OWLGrEd. In addition, we provide a prototype implementation of this tool.

JF - 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC) PB - Springer CY - Villa Clara, Cuba ER - TY - CONF T1 - A Modification to the Hazardous Situation ODP to Support Risk Assessment and Mitigation T2 - Workshop on Ontology Design Patterns (WOP) Y1 - 2016 A1 - Michelle Cheatham A1 - Ferguson, Holly A1 - Charles, Vardeman A1 - Cogan Shimizu KW - hazard KW - Ontology Design Pattern KW - risk assessment KW - risk mitigation AB -

The Hazardous Situation ontology design pattern models the consequences of exposure of an object to a hazard. In its current form, the ODP is well suited for representing the consequences of exposure after the fact, which is very useful for applications such as damage assessment and recovery planning. In this work, we present a modification to this pattern that enables it to additionally support proactive questions central to risk assessment and mitigation planning.

JF - Workshop on Ontology Design Patterns (WOP) ER - TY - CONF T1 - Distributed and Scalable OWL EL Reasoning T2 - Proceedings of the 12th Extended Semantic Web Conference (ESWC 2015) Y1 - 2015 A1 - Raghava Mutharaju A1 - Pascal Hitzler A1 - Prabhaker Mateti A1 - Freddy Lécué KW - DistEL KW - Distributed Reasoning KW - Ontology Classification KW - OWL EL AB -

OWL 2 EL is one of the tractable proles of the Web Ontology Language (OWL) which is a W3C-recommended standard. OWL 2 EL provides sucient expressivity to model large biomedical ontologies as well as streaming data such as trac, while at the same time allows for ecient reasoning services. Existing reasoners for OWL 2 EL, however, use only a single machine and are thus constrained by memory and computational power. At the same time, the automated generation of ontological information from streaming data and text can lead to very large ontologies which can exceed the capacities of these reasoners. We thus describe a distributed reasoning system that scales well using a cluster of commodity machines. We also apply our system to a use case on city trac data and show that it can handle volumes which cannot be handled by current single machine reasoners.

JF - Proceedings of the 12th Extended Semantic Web Conference (ESWC 2015) PB - Springer CY - Portoroz, Slovenia ER - TY - CONF T1 - All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles T2 - 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. Y1 - 2014 A1 - David Carral A1 - Adila Krisnadhi A1 - Sebastian Rudolph A1 - Pascal Hitzler ED - C. Maria Keet ED - Valentina A. M. Tamma KW - description logics KW - Horn Logics KW - OWL AB - 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. JF - 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. PB - CEUR-WS.org VL - 1265 UR - http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf ER - TY - CONF T1 - Conference v2.0: An uncertain version of the OAEI Conference benchmark T2 - 13th International Semantic Web Conference (ISWC 2014) Y1 - 2014 A1 - Michelle Cheatham A1 - Pascal Hitzler ED - Peter Mika ED - Tania Tudorache ED - Abraham Bernstein ED - Chris Welty ED - Craig A. Knoblock ED - Denny Vrandecic ED - Paul T. Groth ED - Natasha F. Noy ED - Krzysztof Janowicz ED - Carole A. Goble KW - benchmark KW - OAEI KW - Ontology Alignment AB - The Ontology Alignment Evaluation Initiative is a set of benchmarks for evaluating the performance of ontology alignment systems. In this paper we re-examine the Conference track of the OAEI, with a focus on the degree of agreement between the reference alignments within this track and the opinion of experts. We propose a new version of this benchmark that more closely corresponds to expert opinion and confidence on the matches. The performance of top alignment systems is compared on both versions of the benchmark. Additionally, a general method for crowdsourcing the development of more benchmarks of this type using Amazon’s Mechanical Turk is introduced and shown to be scalable, cost-effective and to agree well with expert opinion. JF - 13th International Semantic Web Conference (ISWC 2014) PB - Lecture Notes in Computer Science, Springer CY - Riva del Garda, Italy VL - 8797 ER - TY - CONF T1 - Distributed OWL EL Reasoning: The Story So Far T2 - Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems, Riva Del Garda, Italy Y1 - 2014 A1 - Raghava Mutharaju A1 - Pascal Hitzler A1 - Prabhaker Mateti ED - Thorsten Liebig ED - Achille Fokoue KW - Distributed Reasoning KW - OWL EL KW - Scalability AB -

Automated generation of axioms from streaming data, such as traffic and text, can result in very large ontologies that single machine reasoners cannot handle. Reasoning with large ontologies requires distributed solutions. Scalable reasoning techniques for RDFS, OWL Horst and OWL 2 RL now exist. For OWL 2 EL, several distributed reasoning approaches have been tried, but are all perceived to be inefficient. We analyze this perception. We analyze completion rule based distributed approaches, using different characteristics, such as dependency among the rules, implementation optimizations, how axioms and rules are distributed. We also present a distributed queue approach for the classification of ontologies in description logic EL+ (fragment of OWL 2 EL).

JF - Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems, Riva Del Garda, Italy PB - CEUR-WS.org CY - Riva del Garda, Italy VL - 1261 ER - TY - CONF T1 - EL-ifying Ontologies T2 - Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings Y1 - 2014 A1 - David Carral A1 - Cristina Feier A1 - Cuenca Grau, Bernardo A1 - Pascal Hitzler A1 - Ian Horrocks KW - description logics KW - OWL KW - Rewriting KW - Tractable Reasoning AB -

The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoning tasks are feasible in polynomial time. Many OWL ontologies, however, contain a typically small number of out-of-profile axioms, which may have little or no influence on reasoning outcomes. We investigate techniques for rewriting axioms into the EL and RL profiles of OWL 2. We have tested our techniques on both classification and data reasoning tasks with encouraging results.

JF - Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings UR - http://dx.doi.org/10.1007/978-3-319-08587-6_36 ER - TY - CONF T1 - An Ontology Design Pattern for Activity Reasoning T2 - Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference {(ISWC} 2014), Riva del Garda, Italy, October 19, 2014. Y1 - 2014 A1 - Amin Abdalla A1 - Yingjie Hu A1 - David Carral A1 - Naicong Li A1 - Krzysztof Janowicz KW - Activity KW - Ontology Design Pattern KW - OWL AB -

Activity is an important concept in many fields, and a number of activity-related ontologies have been developed. While suitable for their designated use cases, these ontologies cannot be easily generalized to other applications. This paper aims at providing a generic ontology design pattern to model the common core of activities in different domains. Such a pattern can be used as a building block to construct more specific activity ontologies.

JF - Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference {(ISWC} 2014), Riva del Garda, Italy, October 19, 2014. UR - http://ceur-ws.org/Vol-1302/paper8.pdf ER - TY - CONF T1 - Pushing the Boundaries of Tractable Ontology Reasoning T2 - The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II Y1 - 2014 A1 - David Carral A1 - Cristina Feier A1 - Cuenca Grau, Bernardo A1 - Pascal Hitzler A1 - Ian Horrocks KW - description logics KW - OWL KW - Tractable Reasoning AB -

We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking and classification are tractable. The class is general enough to include the OWL 2 EL, QL, and RL profiles. Verifying whether a Horn ontology belongs to the class can be done in polynomial time. We show empirically that the class includes many real-world ontologies that are not included in any OWL 2 profile, and thus that polynomial time reasoning is possible for these ontologies.

JF - The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II UR - http://dx.doi.org/10.1007/978-3-319-11915-1_10 ER - TY - CONF T1 - Revisiting default description logics – and their role in aligning ontologies T2 - Semantic Technology, 4th Joint International Conference, JIST 2014 Y1 - 2014 A1 - Kunal Sengupta A1 - Pascal Hitzler A1 - Krzysztof Janowicz ED - T. Supnithi ED - T. Yamaguchi ED - Jeff Z. Pan ED - V. Wuwongse ED - M. Buranarach KW - default logic KW - defaults KW - description logics KW - Ontology Alignment AB - We present a new approach to extend the Web Ontology Language (OWL) with the capabilities to reason with defaults. This work improves upon the previously established results on integrating defaults with description logics (DLs), which were shown to be decidable only when the application of defaults is restricted to named individuals in the knowledge base. We demonstrate that the application of defaults (integrated with DLs) does not have to be restricted to named individuals to retain decidability and elaborate on the application of defaults in the context of ontology alignment and ontology-based systems. JF - Semantic Technology, 4th Joint International Conference, JIST 2014 PB - Lecture Notes in Computer Science, Springer CY - Chiang Mai, Thailand VL - 8943 ER - TY - CONF T1 - Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs T2 - Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Y1 - 2014 A1 - David Carral A1 - Cristina Feier A1 - Ana Armas Romero A1 - Cuenca Grau, Bernardo A1 - Pascal Hitzler A1 - Ian Horrocks KW - description logics KW - OWL KW - Tractable Reasoning AB -

We investigate cases where an ontology expressed in a seemingly hard DL can be polynomially reduced to one in a simpler logic, while preserving reasoning outcomes for classification and fact entailment. Our transformations target the elimination of inverse roles, universal and existential restrictions, and in the best case allow us to rewrite the given ontology into one of the OWL 2 profiles. Even if an ontology cannot be fully rewritten into a profile, in many cases our transformations allow us to exploit further optimisation techniques. Moreover, the elimination of some out-of-profile axioms can improve the performance of modular reasoners, such as MORe. We have tested our techniques on both classification and data reasoning tasks with encouraging results.

JF - Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. UR - http://ceur-ws.org/Vol-1193/paper_75.pdf ER - TY - CONF T1 - DistEL: A Distributed EL+ Ontology Classifier T2 - Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, co-located with the International Semantic Web Conference (ISWC 2013) Y1 - 2013 A1 - Raghava Mutharaju A1 - Pascal Hitzler A1 - Prabhaker Mateti ED - Thorsten Liebig ED - Achille Fokoue KW - Classification KW - DistEL KW - Distributed Reasoning KW - EL+ KW - OWL KW - Scalability AB - OWL 2 EL ontologies are used to model and reason over data from diverse domains such as biomedicine, geography and road traffic. Data in these domains is increasing at a rate quicker than the increase in main memory and computation power of a single machine. Recent efforts in OWL reasoning algorithms lead to the decrease in classification time from several hours to a few seconds even for large ontologies like SNOMED CT. This is especially true for ontologies in the description logic EL+ (a fragment of the OWL 2 EL profile). Reasoners such as Pellet, Hermit, ELK etc. make an assumption that the ontology would fit in the main memory, which is unreasonable given projected increase in data volumes. Increase in the data volume also necessitates an increase in the computation power. This lead us to the use of a distributed system, so that memory and computation requirements can be spread across machines. We present a distributed system for the classification of EL+ ontologies along with some results on its scalability and performance. JF - Proceedings of the 9th International Workshop on Scalable Semantic Web Knowledge Base Systems, co-located with the International Semantic Web Conference (ISWC 2013) PB - CEUR-WS.org CY - Sydney, Australia VL - 1046 ER - TY - CONF T1 - A Geo-ontology Design Pattern for Semantic Trajectories T2 - Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings Y1 - 2013 A1 - Yingjie Hu A1 - Krzysztof Janowicz A1 - David Carral A1 - Simon Scheider A1 - Werner Kuhn A1 - Gary Berg-Cross A1 - Pascal Hitzler A1 - Mike Dean A1 - Dave Kolas KW - Ontology Design Pattern KW - OWL KW - Trajectory AB -

Trajectory data have been used in a variety of studies, including human behavior analysis, transportation management, and wildlife tracking. While each study area introduces a different perspective, they share the need to integrate positioning data with domain-specific information. Semantic annotations are necessary to improve discovery, reuse, and integration of trajectory data from different sources. Consequently, it would be beneficial if the common structure encountered in trajectory data could be annotated based on a shared vocabulary, abstracting from domain-specific aspects. Ontology design patterns are an increasingly popular approach to define such flexible and self-contained building blocks of annotations. They appear more suitable for the annotation of interdisciplinary, multi-thematic, and multi-perspective data than the use of foundational and domain ontologies alone. In this paper, we introduce such an ontology design pattern for semantic trajectories. It was developed as a community effort across multiple disciplines and in a data-driven fashion. We discuss the formalization of the pattern using the Web Ontology Language (OWL) and apply the pattern to two different scenarios, personal travel and wildlife monitoring.

JF - Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings UR - http://dx.doi.org/10.1007/978-3-319-01790-7_24 ER - TY - CONF T1 - An Ontology Design Pattern for Cartographic Map Scaling T2 - The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings Y1 - 2013 A1 - David Carral A1 - Simon Scheider A1 - Krzysztof Janowicz A1 - Charles Vardeman A1 - Adila Krisnadhi A1 - Pascal Hitzler ED - Philipp Cimiano ED - Óscar Corcho ED - Valentina Presutti ED - Laura Hollink ED - Sebastian Rudolph KW - Map Scaling KW - Ontology Design Patterns KW - OWL AB -

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.

JF - The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings PB - Springer VL - 7882 UR - http://dx.doi.org/10.1007/978-3-642-38288-8_6 ER - TY - JOUR T1 - Paraconsistent OWL and Related Logics JF - Semantic Web Y1 - 2013 A1 - Frederick Maier A1 - Yue Ma A1 - Pascal Hitzler KW - Automated Deduction KW - Complexity KW - Description Logic KW - OWL KW - Paraconsistency KW - Semantic Web KW - Web Ontology Language AB - The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ontologies. However, because typical description logics obey the classical principle of explosion, reasoning over inconsistent ontologies is impossible in OWL. This is so despite the fact that inconsistencies are bound to occur in many realistic cases, e.g., when multiple ontologies are merged or when ontologies are created by machine learning or data mining tools. In this paper, we present four-valued paraconsistent description logics which can reason over inconsistencies. We focus on logics corresponding to OWL DL and its profiles. We present the logic SROIQ4, showing that it is both sound relative to classical SROIQ and that its embedding into SROIQ is consequence preserving. We also examine paraconsistent varieties of EL++, DL-Lite, and Horn-DLs. The general framework described here has the distinct advantage of allowing classical reasoners to draw sound but nontrivial conclusions from even inconsistent knowledge bases. Truth-value gaps and gluts can also be selectively eliminated from models (by inserting additional axioms into knowledge bases). If gaps but not gluts are eliminated, additional classical conclusions can be drawn without affecting paraconsistency. VL - 4 UR - http://dx.doi.org/10.3233/SW-2012-0066 ER - TY - CONF T1 - Extending Description Logic Rules T2 - The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings Y1 - 2012 A1 - David Carral A1 - Pascal Hitzler KW - description logics KW - OWL KW - Rules AB -

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.

JF - The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings UR - http://dx.doi.org/10.1007/978-3-642-30284-8_30 ER - TY - CONF T1 - A logical geo-ontology design pattern for quantifying over types T2 - SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012 Y1 - 2012 A1 - David Carral A1 - Krzysztof Janowicz A1 - Pascal Hitzler KW - Biodiversity KW - description logics KW - Ontology Design Patterns KW - OWL JF - SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012 UR - http://doi.acm.org/10.1145/2424321.2424352 ER - TY - CONF T1 - Recent Advances in Integrating OWL and Rules T2 - Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings Y1 - 2012 A1 - Matthias Knorr A1 - David Carral A1 - Pascal Hitzler A1 - Adila Krisnadhi A1 - Frederick Maier A1 - Cong Wang ED - Markus Krötzsch ED - Umberto Straccia KW - description logics KW - OWL KW - Rules AB - As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied. We report on recent advances and ongoing work by the authors in integrating OWL and rulesWe take an OWL-centric perspective, which means that we take OWL 2 DL as a starting point and pursue the question of how features of rulebased formalisms can be added without jeopardizing decidability. We also report on incorporating the closed world assumption and on reasoning algorithms. This paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found. JF - Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings PB - Springer CY - Austria, Vienna VL - 7497 UR - http://dx.doi.org/10.1007/978-3-642-33203-6_20 ER - TY - CONF T1 - Very Large Scale OWL Reasoning through Distributed Computation T2 - 11th International Semantic Web Conference (ISWC 2012), Proceedings, Part II Y1 - 2012 A1 - Raghava Mutharaju ED - Philippe Cudré-Mauroux ED - Jeff Heflin ED - Evren Sirin ED - Tania Tudorache ED - Jérôme Euzenat ED - Manfred Hauswirth ED - Josiane Xavier Parreira ED - James A. Hendler ED - Guus Schreiber ED - Abraham Bernstein ED - Eva Blomqvist KW - Distributed Reasoning KW - Ontology Classification KW - OWL EL AB -

Due to recent developments in reasoning algorithms of the various OWL profiles, the classification time for an ontology has come down drastically. For all of the popular reasoners, in order to process an ontology, an implicit assumption is that the ontology should fit in primary memory. The memory requirements for a reasoner are already quite high, and considering the ever increasing size of the data to be processed and the goal of making reasoning Web scale, this assumption becomes overly restrictive. In our work, we study several distributed classification approaches for the description logic EL+ (a fragment of OWL 2 EL profile). We present the lessons learned from each approach, our current results, and plans for future work.

JF - 11th International Semantic Web Conference (ISWC 2012), Proceedings, Part II PB - Springer CY - Boston, MA, USA VL - 7650 UR - http://dx.doi.org/10.1007/978-3-642-35173-0_30 ER - TY - JOUR T1 - Local Closed World Reasoning with Description Logics under the Well-Founded Semantics JF - Artificial Intelligence Y1 - 2011 A1 - Matthias Knorr A1 - José Júlio Alferes A1 - Pascal Hitzler KW - Description Logic KW - Knowledge representation KW - Logic Programming KW - Non-monotonic reasoning KW - Ontologies KW - Semantic Web AB -

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases [52], and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.

VL - 175 UR - http://dx.doi.org/10.1016/j.artint.2011.01.007 IS - 9-10 ER - TY - JOUR T1 - Concept learning in description logics using refinement operators JF - Machine Learning Y1 - 2010 A1 - Jens Lehmann A1 - Pascal Hitzler KW - description logics KW - Inductive logic programming KW - OWL KW - refinement operators KW - Semantic Web KW - Structured Machine Learning AB -

With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, is constrained by the lack of well-structured knowledge bases consisting of a sophisticated schema and instance data adhering to this schema. It is paramount that suitable automated methods for their acquisition, maintenance, and evolution will be developed. In this paper, we provide a learning algorithm based on refinement operators for the description logic ALCQ including support for concrete roles. We develop the algorithm from thorough theoretical foundations by identifying possible abstract property combinations which refinement operators for description logics can have. Using these investigations as a basis, we derive a practically useful complete and proper refinement operator. The operator is then cast into a learning algorithm and evaluated using our implementation DL-Learner. The results of the evaluation show that our approach is superior to other learning approaches on description logics, and is competitive with established ILP systems.

VL - 78 UR - http://springerlink.metapress.com/content/c040n45u15qrnu44/ ER -