Reasoning on UML Class Diagrams using Description Logic Based Systems

Recently, a growing interest in description logics and their applications can be observed. This is mainly due to the development of very expressive description logics and optimized description logic systems which support terminological and/or assertional reasoning for these logics. This workshop intended to gather researchers as well as practitioners who are interested in description logics and their applications. The primary focus of this workshop was on applications of description logics. Ian Horrocks, University of Manchester, gives a tutorial-style talk about latest developments in description logic research. These proceedings can also be found at http://www.CEUR-WS.org.

[1]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[2]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[3]  Jérôme Euzenat.  Preserving Modularity in XML Encoding of Description Logics , 2001, Description Logics.

[4]  Ulrike Sattler,et al.  Terminological knowledge representation systems in a process engineering application , 1998 .

[5]  Bernhard Rumpe,et al.  Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.

[6]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[7]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[8]  Michael Strube,et al.  Never Look Back: An Alternative to Centering , 1998, COLING-ACL.

[9]  Deborah L. McGuinness,et al.  Conceptual modelling for configuration: A description logic-based approach , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[10]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[11]  Matthew Stone,et al.  Sentence Planning as Description Using Tree Adjoining Grammar , 1997, ACL.

[12]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[13]  Diego Calvanese,et al.  Identification Constraints and Functional Dependencies in Description Logics , 2001, IJCAI.

[14]  Carsten Lutz.  NEXPTIME-Complete Description Logics with Concrete Domains , 2001, IJCAR.

[15]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[16]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[17]  Diego Calvanese,et al.  Unifying Class-Based Representation Formalisms , 2011, J. Artif. Intell. Res..

[18]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[19]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[20]  Kendall Scott,et al.  UML distilled - applying the standard object modeling language , 1997 .

[21]  Tony Clark,et al.  Foundations of the unified modeling language , 1997, FME 1997.

[22]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[23]  Volker Haarslev,et al.  High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study , 2001, IJCAI.

[24]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[25]  Divesh Srivastava,et al.  The Information Manifold , 1995 .

[26]  Andy S. Evans,et al.  Reasoning with UML class diagrams , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.

[27]  Ian Horrocks,et al.  OIL in a Nutshell , 2000, EKAW.

[28]  François Rousselot,et al.  The Description Logic Reasoner CICLOP (Version 2.0) , 2000, ARW.