Information Systems & Semantic Web University of Koblenz Landau, Germany Ontologies for Model Engineering of Complex Systems
ISWeb - Information Systems & Semantic Web Steffen Staab Complex Domains Medicine: 180,000 concepts in the Foundational Model of Anatomy ( Size Network Management (Telecommunication) Systems consisting of various hardware and software (MOST project: Interaction & configuration Multimedia Continuously growing libraries of formats and algorithms (KAT – Knowledge Annotation Tool; h ttp://isweb.uni-koblenz.de/Research/kat ) Openness Middleware Configuration of running software modules ( [Middleware04, JoAO06,IEEE DS06]) Interaction & configuration
ISWeb - Information Systems & Semantic Web Steffen Staab What is an ontology? Shared conceptual model Logically formalized (e.g. OWL – Web Ontology Language) Typically seen and interacted with by end users! What is not necessarily an ontology? A set of axioms in OWL However: ontology reasoning technologies can be useful for such sets of OWL axioms
ISWeb - Information Systems & Semantic Web Steffen Staab Ontologies and Their Relatives Front-End Back-End Topic Maps UML Class Diagrams Thesauri Predicate Logic Semantic Networks Taxonomies Ontologies Navigation Queries Sharing of Knowledge Information Retrieval Query Expansion Mediation Reasoning Consistency Checking EAI
ISWeb - Information Systems & Semantic Web Steffen Staab Ontology and Complex Software System Ontology for Domain conceptualization & classification Consistency Configuration Dynamic subsumption reasoning Software System for Knowledge acquisition forms (medicine) Interaction (network management & middleware) Loading of data and components (multimedia formats) Strong Interdependency
ISWeb - Information Systems & Semantic Web Steffen Staab Ontology and Complex Software System Advantages Ontology captures domain complexity and ensures logical domain consistency Challenges Joint modeling Integration of static logical reasoning into the dynamic world (using the model at run-time!) Understandability of Ontology/OWL paradigm
ISWeb - Information Systems & Semantic Web Steffen Staab Some Cases: 1.Model Checking, e.g. Reasoning on UML class diagrams (Berardi, 2005) 2.Model Enrichment, e.g. Platform independent model transformation based on TRIPLE (Billig et. al) 3.Ontology Modeling, e.g. Neon Project (Haase et al., 2007) 4.Hybrid Approach, TwoUse: Integrating UML Models and OWL Ontologies (Parreiras, Staab, Winter, 2007) MDE with Ontologies Classical MDE PIM PSM Code OWL TRIPLE OWL JAVA UML
ISWeb - Information Systems & Semantic Web Steffen Staab DSL Exploiting Onto TwoUse Initial Proposal UMLOWL
ISWeb - Information Systems & Semantic Web Steffen Staab TwoUse Metamodels Organization UML OCL TwoUse MOF M3 M2 OWL InstanceOf
ISWeb - Information Systems & Semantic Web Steffen Staab TwoUse Models (excerpt) M2 M1 Class DataType AnyType OwlAny owlMostSpecNamedClass() OclAny SalesOrder TaskController TUClass OWLClass USCustomer Classifier InstanceOf context SalesOrder::getRulesForCountry(): Tax body: self.owlMostSpecNamedClass().new() getRulesForCountry() owl2uml()
ISWeb - Information Systems & Semantic Web Steffen Staab Transformation Process PIMPSMSource Code Java UML Profiled 4TwoUse Concrete Syntax Abstract Syntax M2 M1 UML Profiled 4Java TwoUseJava InstanceOf Java Metamodel TwoUse Metamodel MetamodelGrammarOntology RDF XML Syntax OWL UML Profiled 4 OWL OWL PSM OWL Metamodel UML UML Metamodel Reasoner API
ISWeb - Information Systems & Semantic Web Steffen Staab Benefits Models at run-time [Middleware04, IEEE Distributed Systems 06] Dynamic, multiple classification of objects [Modellierung 08]
ISWeb - Information Systems & Semantic Web Steffen Staab Open Challenges (en detail) Software Modeling Understandable modeling patterns of using ontologies Splitting of modeling work between domain experts and ontology experts Experiences, experiences, experiences Ontology Modeling Comprehensive treatment of meta- modeling at the logical level (initial work available!) Reconciliation of open and closed world (initial work available!) Reconciliation of rules and ontologies (initial work available!) Incremental reasoning & querying Experiences, experiences, experiences
Information Systems & Semantic Web University of Koblenz Landau, Germany Thank You! F. Silva Parreiras, S. Staab, S. Schenk, A. Winter. Model Driven Specification of Ontology Translations. ER 2008, LNCS, Springer, F. Silva Parreiras, S. Staab, A. Winter. Improving Design Patterns by Description Logics: An Use Case with Abstract Factory and Strategy. Proc. of Modellierung LNI, Gi e.V, März F. Parreiras, S. Staab, A. Winter. TwoUse: Integrating UML Models and OWL Ontologies, TechReport, Department of Computer Science, Univ. Koblenz- Landau, nr. 16/2007. D. Oberle, S. Staab, A. Eberhart, Semantic Management of Distributed Web Applications, IEEE Distributed Systems Online, vol. 7, no. 5, 2006, art. no o5001. D. Oberle, S. Lamparter, S. Grimm, D. Vrandecic, S. Staab, A. Gangemi: Towards Ontologies for Formalizing Modularization and Communication in Large Software Systems. Journal of Applied Ontology, 1(2): , IOS Press D. Oberle, A. Eberhart, S. Staab, R. Volz. Developing and Managing Software Components in an ontology-based Application Server. In Proc. Middleware 2004, ACM/IFIP/USENIX International Middleware Conference, Toronto, October , 2004, LNCS, Springer.