Engineering a complex ontology with time

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]  Zita Vale,et al.  Verification & Validation of Power Systems Control Centres KBS , 2001 .

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

[3]  RahmErhard,et al.  A survey of approaches to automatic schema matching , 2001, VLDB 2001.

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

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

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

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

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

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

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

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

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

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

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

[15]  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).

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

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

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

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

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

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

[22]  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).