FONTE: factorizing ONTology engineering complexity

Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factorizing ONTology Engineering complexity). FONTE divides the engineering task into building a time-less domain ontology and a temporal theory independently from each other. FONTE provides an operator ⊗ that assembles the two independently developed ontologies into the targeted ontology. We investigate the quality of the proposed operator ⊗ by applying it to a practical case study, viz. the engineering of an ontology about researchers including temporal interactions.

[1]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[2]  Alun D. Preece,et al.  Foundation and application of knowledge base verification , 1994, Int. J. Intell. Syst..

[3]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[4]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[5]  Angelo Montanari,et al.  EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS , 1996, Comput. Intell..

[6]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[7]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[8]  Zita Vale,et al.  Verification & Validation of Power Systems Control Centres KBS , 2001 .

[9]  Bruce W. Porter,et al.  Knowledge Patterns , 2000, Handbook on Ontologies.

[10]  Prasenjit Mitra,et al.  An algebra for semantic interoperability of information sources , 2001, Proceedings 2nd Annual IEEE International Symposium on Bioinformatics and Bioengineering (BIBE 2001).

[11]  Fritz Lehmann,et al.  Big Posets of Participatings and Thematic Roles , 1996, ICCS.

[12]  Nicola Guarino,et al.  A Formal Ontology of Properties , 2000, EKAW.

[13]  Steffen Staab,et al.  Knowledge Portals: Ontologies at Work , 2001, AI Mag..

[14]  Sushil Jajodia,et al.  Temporal Semantic Assumptions and Their Use in Databases , 1998, IEEE Trans. Knowl. Data Eng..

[15]  Friedrich Steimann,et al.  On the representation of roles in object-oriented and conceptual modelling , 2000, Data Knowl. Eng..

[16]  Steffen Staab,et al.  Engineering Ontologies using Semantic Patterns , 2001, OIS@IJCAI.

[17]  Nigel Shadbolt,et al.  Knowledge Engineering and Management , 2000 .

[18]  Mark A. Musen,et al.  A Template-Based Approach Toward Acquisition of Logical Sentences , 2002, Intelligent Information Processing.

[19]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[20]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[21]  John F. Sowa,et al.  Processes and Participants , 1996, ICCS.

[22]  Gio Wiederhold,et al.  An Algebra for Ontology Composition , 1994 .

[23]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[24]  Eddie Schwalb,et al.  A theory of time and temporal incidence based on instants and periods , 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

[25]  Enrico Franconi,et al.  A Temporal Description Logic for Reasoning about Actions and Plans , 1998, J. Artif. Intell. Res..