Engineering Ontologies using Semantic Patterns

Interoperability is one of the major design objectives when building applications for B2B and Semantic Web applications. In this paper, we present a methodology for engineering semantic knowledge such that these semantic structures are easier reusable when switching between several representation languages. For this purpose, we reconsider the commonalities of representation languages and their usage in actual applications. Out of this consideration we derive semantic patterns as a means to communicate knowledge at an epistemological level of representation and as a means for (partial) execution by any particular implementation of any representation language. The underlying method we propose combines the advantages of formal specification methods (where feasible) with informal, natural language explanations such as used in software engineering for design patterns.

[1]  Henrik Eriksson,et al.  Knowledge modeling at the millennium : The design and evolution of Protégé-2000 , 1999 .

[2]  Steffen Staab,et al.  The Times They Are A-Changin' - The Corporate History Analyzer , 2000, PAKM.

[3]  Olivier Corby,et al.  A Conceptual Graph Model for W3C Resource Description Framework , 2000, ICCS.

[4]  Enrico Franconi,et al.  The i.com tool for Intelligent Conceptual Modeling , 2000, KRDB.

[5]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[6]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[7]  Asunción Gómez-Pérez,et al.  Building Ontologies at the Knowledge Level using the Ontology Design Environment , 1998 .

[8]  Richard Fikes,et al.  Tools for Assembling Modular Ontologies in Ontolingua , 1997, AAAI/IAAI.

[9]  Steffen Staab,et al.  An extensible approach for modeling ontologies in RDF(S) , 2000 .

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

[11]  Leora Morgenstern,et al.  Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry , 1997, IJCAI.

[12]  Steffen Staab,et al.  Ontology Engineering beyond the Modeling of Concepts and Relations , 2000 .

[13]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[14]  Ian Horrocks,et al.  Knowledge Representation on the Web , 2000, Description Logics.

[15]  E Davio,et al.  The times they are a'changin'. , 1970, The Journal of practical nursing.

[16]  Steffen Staab,et al.  Semantic community Web portals , 2000, Comput. Networks.

[17]  Dieter Fensel,et al.  Structured Development of Problem Solving Methods , 2001, IEEE Trans. Knowl. Data Eng..

[18]  Dan Brickley,et al.  Resource description framework (RDF) schema specification , 1998 .

[19]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[20]  Matthew L. Ginsberg,et al.  Knowledge Interchange Format: the KIF of Death , 1991, AI Mag..

[21]  Stefan Decker,et al.  On Domain-Specific Declarative Knowledge Representation and Database Languages , 1998, KRDB.

[22]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[23]  Jennifer Widom,et al.  The Lorel query language for semistructured data , 1997, International Journal on Digital Libraries.

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