Ontology Patterns with DOWL: The Case of Blending

The Distributed Ontology, Model, and Specification Language DOL provides logic-independent structuring, linking, and modularity constructs. Its homogeneous OWL fragment, DOWL, we argue, can be seen as an ideal language for formalising ontology patterns in description logics. It naturally consumes earlier formalisms such as C-OWL or DDL, and extends these with various expressive means useful for the modelling of patterns. To substantiate this, we illustrate DOWL’s expressive power with a number of examples, including ontology design patterns, networks of ontologies, and ontology combinations. The latter are used to formalise conceptual blending, based on DOWL features such as renaming, filtering, forgetting, interpretation, and colimit computation.

[1]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[2]  Carsten Lutz,et al.  Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics , 2011, IJCAI.

[3]  Aldo Gangemi,et al.  Ontology Design Patterns , 2005 .

[4]  J. Bateman,et al.  Ontological Blending in DOL , 2012 .

[5]  Till Mossakowski,et al.  A categorical approach to ontology alignment , 2014, OM.

[6]  H. Herre.  General Formal Ontology (GFO): A Foundational Ontology for Conceptual Modelling , 2010 .

[7]  Rafael Peñaloza,et al.  Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++ , 2015, JOWO@IJCAI.

[8]  J. Goguen.  An introduction to algebraic semiotics, with application to user interface design , 1999 .

[9]  Fabian Neuhaus,et al.  Image schemas in computational conceptual blending , 2016, Cognitive Systems Research.

[10]  Arthur Buchsbaum,et al.  The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I , 2015 .

[11]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[12]  Mark Turner,et al.  The Origin of Ideas: Blending, Creativity, and the Human Spark , 2014 .

[13]  Carsten Lutz,et al.  The Complexity of Circumscription in DLs , 2009, J. Artif. Intell. Res..

[14]  Jessika Schulze,et al.  Handbook Of Logic In Artificial Intelligence And Logic Programming , 2016 .

[15]  Till Mossakowski,et al.  Fabricating Monsters is Hard Towards the Automation of Conceptual Blending , 2014 .

[16]  Pascal Hitzler,et al.  Formalizing Ontology Alignment and its Operations with Category Theory , 2006, FOIS.

[17]  Frank Wolter,et al.  Logic-based ontology comparison and module extraction, with an application to DL-Lite , 2010, Artif. Intell..

[18]  Gilles Fauconnier,et al.  Conceptual Integration Networks , 1998, Cogn. Sci..

[19]  Christoph Lange,et al.  The Distributed Ontology, Modeling and Specification Language , 2013, WoMO.

[20]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.

[21]  Jérôme David,et al.  The Alignment API 4.0 , 2011, Semantic Web.

[22]  Till Mossakowski,et al.  Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design , 2010, Logica Universalis.

[23]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .