Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web

Theoretical Foundations of Ontologies.- The Most Outstanding Ontologies.- Methodologies and Methods for Building Ontologies.- Languages for Building Ontologies.- Ontology Tools.

[1]  Nicola Guarino,et al.  An Ontological Theory of Physical Objects , 2001 .

[2]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[3]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[4]  Steffen Staab,et al.  Semi-Automatic Engineering of Ontologies from Text , 2000, ICSE 2000.

[5]  Kevin Knight,et al.  Toward Distributed Use of Large-Scale Ontologies t , 1997 .

[6]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[7]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[8]  Ian Horrocks,et al.  The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.

[9]  Deborah L. McGuinness,et al.  The Role of Frame-Based Representation on the Semantic Web , 2001 .

[10]  H. S. Pinto.  Knowledge Sharing and Reuse , 2022 .

[11]  Frank van Harmelen,et al.  Ontology languages for the Semantic Web , 2005 .

[12]  Martin K. Purvis,et al.  UML as an Ontology Modelling Language , 1999, Intelligent Information Integration.

[13]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

[14]  B. Chandrasekaran,et al.  Generic Tasks for Knowledge-Based Reasoning: The "Right" Level of Abstraction for Knowledge Acquisition , 1987, Int. J. Man Mach. Stud..

[15]  Sergei Nirenburg,et al.  Semantic Classification for Practical Natural Language Processing , 1995 .

[16]  Jaap Gordijn,et al.  Scenario methods for viewpoint integration in e-business requirements engineering , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[17]  Alex Goodall,et al.  The guide to expert systems , 1985 .

[18]  Steffen Staab,et al.  OntoEdit: Guiding Ontology Development by Methodology and Inferencing , 2002, OTM.

[19]  Yolanda Gil,et al.  INSPECT: an Intelligent System for Air Campaign Plan Evaluation based on EXPECT , 1996 .

[20]  Martin L. King,et al.  Towards a Methodology for Building Ontologies , 1995 .

[21]  Nicola Guarino,et al.  Ontologies and Knowledge Bases. Towards a Terminological Clarification , 1995 .

[22]  Ian Horrocks,et al.  DAML+OIL is not Enough , 2001, SWWS.

[23]  Zdenek Zdráhal,et al.  Knowledge Modelling of Hypertension Guidelines , 2001, MedInfo.

[24]  Bertram Ludäscher,et al.  Managing Semistructured Data with FLORID: A Deductive Object-Oriented Perspective , 1998, Inf. Syst..

[25]  Ian Horrocks,et al.  Enabling knowledge representation on the Web by extending RDF schema , 2001, WWW '01.

[26]  F. Rechenmann,et al.  Building and Sharing Large Knowledge Bases in Molecular Genetics , 1993 .

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

[28]  Aldo Gangemi,et al.  An Overview of the ONIONS Project: Applying Ontologies to the Integration of Medical Terminologies , 1999, Data Knowl. Eng..

[29]  Sylvie Szulman,et al.  TERMINAE: A Linguistic-Based Tool for the Building of a Domain Ontology , 1999, EKAW.

[30]  Michael Kifer,et al.  FLORA: The Secret of Object-Oriented Logic Programming , 2001 .

[31]  Eduardo Mena,et al.  Ontology-Based Query Processing for Global Information Systems , 2001, The Kluwer international series in engineering and computer science.

[32]  John C. Mallery.  A common LISP hypermedia server , 1994, WWW Spring 1994.

[33]  George A. Miller,et al.  Introduction to WordNet: An On-line Lexical Database , 1990 .

[34]  Gerhard Brewka,et al.  The Logic of Inheritance in Frame Systems , 1987, IJCAI.

[35]  Asunción Gómez-Pérez,et al.  Evaluation of ontologies , 2001, International Journal of Intelligent Systems.

[36]  Steffen Staab,et al.  On2broker: Semantic-Based Access to Information Sources at the WWW , 1999, Intelligent Information Integration.

[37]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

[38]  Asunción Gómez-Pérez,et al.  OntoTag: XML/RDF(S)/OWL Semantic Web Page Annotation in ContentWeb , 2003 .

[39]  Carole A. Goble,et al.  Towards Annotation Using DAML+OIL , 2001, Semannot@K-CAP 2001.

[40]  R. A. Pease,et al.  JTF-ATD Core Plan Representation: a Progress Report , 1997 .

[41]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[42]  Mark A. Musen,et al.  Evaluating Ontology-Mapping Tools: Requirements and Experience , 2002, EON.

[43]  Thomas J. Mowbray,et al.  The essential CORBA - systems integration using distributed objects , 1995 .

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

[45]  Robert M. MacGregor,et al.  STELLA - A Lisp-Like Language for Symbolic Programming with Delivery in Common Lisp, C++, and Java , 1999 .

[46]  Riichiro Mizoguchi,et al.  MULTIS II: Enabling End-Users to Design Problem-Solving Engines via Two-Level Task Ontologies , 1993, EKAW.

[47]  Asunción Gómez-Pérez.  A framework to verify knowledge sharing technology , 1996 .

[48]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[49]  Deborah L. McGuinness,et al.  The Chimaera Ontology Environment , 2000, AAAI/IAAI.

[50]  Jr. Guy L. Steele,et al.  Common LISP: the language (2nd ed.) , 1990 .

[51]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[52]  Philippe Fouquart,et al.  ASN.1 Communication Between Heterogeneous Systems , 2000 .

[53]  Yannis Kalfoglou,et al.  Managing Ontological Constraints , 1999 .

[54]  Asunción Gómez-Pérez,et al.  Solving Integration Problems of e-commerce standards and initiatives through ontological mappings , 2001, OIS@IJCAI.

[55]  Nicola Guarino,et al.  The Ontological Level , 1994 .

[56]  Mark A. Musen,et al.  Automated support for building and extending expert models , 1989, Machine Learning.

[57]  Wolfram Conen,et al.  Logical Interpretations of RDFS-A Compatibility Guide , 2001 .

[58]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[59]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[60]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[61]  Robert M. MacGregor,et al.  Building and (re)using an ontology of air campaign planning , 1999, IEEE Intell. Syst..

[62]  Asunción Gómez-Pérez,et al.  (ONTO)2 Agent: an Ontology-based WWW broker to select ontologies , 1998 .

[63]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[64]  Nicola Guarino,et al.  Formalizing ontological commitments , 1994, AAAI 1994.

[65]  Virgínia V. B. Biris Brilhante,et al.  Using Formal Meta-Data Descriptions for Automated Ecological Modeling , 1999, AAAI/IAAI.

[66]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[67]  Timothy Williamson,et al.  Parts. A Study in Ontology , 1990 .

[68]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[69]  Steffen Staab,et al.  Ontology Learning for the Semantic Web , 2002, IEEE Intell. Syst..

[70]  PeaseAdam,et al.  IEEE standard upper ontology: a progress report , 2002 .

[71]  Trevor J. M. Bench-Capon,et al.  Kraft: An Agent Architecture for Knowledge Fusion , 2001, Int. J. Cooperative Inf. Syst..

[72]  John A. Bateman,et al.  The Generalized Upper Model Knowledge Base: Organization and Use , 2002 .

[73]  Roberto Casati,et al.  Parts and Places: The Structures of Spatial Representation , 1999 .

[74]  Tomasz Imielinski,et al.  Mining association rules between sets of items in large databases , 1993, SIGMOD Conference.

[75]  John Domingue,et al.  Tadzebao and WebOnto: discussing, browsing, and editing ontologies on the Web , 1998 .

[76]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[77]  Timothy Lethbridge,et al.  CODE4: a unified system for managing conceptual knowledge , 1995, Int. J. Hum. Comput. Stud..

[78]  Enrico Motta,et al.  The Emerging VITAL Workbench , 1993, EKAW.

[79]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[80]  W. Quine.  From a Logical Point of View: 9 Logico-Philosophical Essays , 1963 .

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

[82]  Fabio Ciravegna,et al.  Adaptive Information Extraction from Text by Rule Induction and Generalisation , 2001, IJCAI.

[83]  Vinay K. Chaudhri,et al.  XOL: An XML-Based Ontology Exchange Language , 2000 .

[84]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[85]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[86]  Kavi Mahesh,et al.  Ontology Development for Machine Translation: Ideology and Methodology , 1996 .

[87]  Michael Halliday,et al.  An Introduction to Functional Grammar , 1985 .

[88]  Katharina Morik,et al.  A bootstrapping approach to conceptual clustering , 1989, ICML 1989.

[89]  Asunción Gómez-Pérez,et al.  Building a chemical ontology using Methontology and the Ontology Design Environment , 1999, IEEE Intell. Syst..

[90]  Nicola Guarino,et al.  OntoSeek: content-based access to the Web , 1999, IEEE Intell. Syst..

[91]  Dieter Fensel,et al.  Developing Knowledge-Based Systems with MIKE , 1998, Automated Software Engineering.

[92]  Raphael Volz,et al.  Semi-automatic Ontology Acquisition from a Corporate Intranet , 2000 .

[93]  Asunción Gómez-Pérez,et al.  The Integration of OntoClean in WebODE , 2002, EON.

[94]  Asunción Gómez-Pérez,et al.  METHONTOLOGY: From Ontological Art Towards Ontological Engineering , 1997, AAAI 1997.

[95]  Piek Vossen,et al.  EuroWordNet: A multilingual database with lexical semantic networks , 1998, Springer Netherlands.

[96]  John McDermott,et al.  Usable and reusable programming constructs , 1991 .

[97]  Boris Motik,et al.  Ontologies for Enterprise Knowledge Management , 2003, IEEE Intell. Syst..

[98]  S. Bechhofer.  The DIG Description Logic Interface : DIG / 1 . 0 , 2002 .

[99]  Paul A. Kogut,et al.  AeroDAML: Applying Information Extraction to Generate DAML Annotations from Web Pages , 2001, Semannot@K-CAP 2001.

[100]  E. Lowe.  Kinds of being : a study of individuation, identity and the logic of sortal terms , 1989 .

[101]  Mike Uschold,et al.  A Framework for Understanding and Classifying Ontology Applications , 1999 .

[102]  Peter D. Karp,et al.  An Evaluation of Ontology Exchange Languages for Bioinformatics , 2000, ISMB.

[103]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[104]  Silvana Castano,et al.  Semantic integration of heterogeneous information sources , 2001, Data Knowl. Eng..

[105]  Geoffrey Leech,et al.  Introducing corpus annotation , 1997 .

[106]  Lewis Hart,et al.  Extending UML to Support Ontology Engineering for the Semantic Web , 2001, UML.

[107]  Mark A. Musen,et al.  SMART: Automated Support for Ontology Merging and Alignment , 1999 .

[108]  V. R. Benjamins,et al.  Overview of Knowledge Sharing and Reuse Components: Ontologies and Problem-Solving Methods , 1999, IJCAI 1999.

[109]  Asunción Gómez-Pérez,et al.  A Roadmap to Ontology Specification Languages , 2000, EKAW.

[110]  James A. Hendler,et al.  Parallel Knowledge Representation on the Connection Machine , 1994, J. Parallel Distributed Comput..

[111]  Steffen Staab,et al.  Knowledge Processes and Ontologies , 2001, IEEE Intell. Syst..

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

[113]  Mark A. Musen,et al.  Mappings for Reuse in Knowledge-based Systems , 2001 .

[114]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[115]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

[116]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[117]  Asunción Gómez-Pérez,et al.  WebODE: An Integrated Workbench for Ontology Representation, Reasoning, and Exchange , 2002, EKAW.

[118]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[119]  Stefan Decker,et al.  TRIPLE - An RDF Query, Inference, and Transformation Language , 2001, INAP.

[120]  Olivier Bodenreider,et al.  Medical Ontology Research , 2001 .

[121]  Antonio Pareja-Lora,et al.  A SEMANTIC WEB PAGE LINGUISTIC ANNOTATION MODEL , 2002 .

[122]  Jeff Heflin,et al.  Searching the Web with SHOE , 2000 .

[123]  David Stuart Robertson,et al.  Use of Formal Ontologies to Support Error Checking in Specifications , 1999, EKAW.

[124]  Mark Fischetti,et al.  Weaving the web - the original design and ultimate destiny of the World Wide Web by its inventor , 1999 .

[125]  Hector,et al.  Fundamental Tradeoff in Knowledge Representation and Reasoning ( Revised Versionl ) , 2001 .

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

[127]  Enrico Motta,et al.  PlanetOnto: From News Publishing to Integrated Knowledge Management Support , 2000, IEEE Intell. Syst..

[128]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[129]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[130]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

[131]  Nicholas V. Findler,et al.  Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.

[132]  Asunción Gómez-Pérez,et al.  Towards a Method to Conceptualize Domain Ontologies , 1996 .

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

[134]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[135]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[136]  Stefan Schulz,et al.  Towards Very Large Terminological Knowledge Bases: A Case Study from Medicine , 2000, Canadian Conference on AI.

[137]  Gerd Stumme,et al.  FCA-MERGE: Bottom-Up Merging of Ontologies , 2001, IJCAI.

[138]  Enrico Motta,et al.  Knowledge Extraction by Using an Ontology Based Annotation Tool , 2001, Semannot@K-CAP 2001.

[139]  Vipul Kashyap,et al.  OBSERVER: An Approach for Query Processing in Global Information Systems Based on Interoperation Across Pre-Existing Ontologies , 2000, Distributed and Parallel Databases.

[140]  G Perrière,et al.  ColiGene: object-centered representation for the study of E coli gene expressivity by sequence analysis. , 1993, Biochimie.

[141]  Masahiro Kobayashi,et al.  An Overview of the EDR Electronic Dictionary and the Current Status of Its Utilization , 1996, COLING.

[142]  C. M. Sperberg-McQueen,et al.  eXtensible Markup Language (XML) 1.0 (Second Edition) , 2000 .

[143]  James A. Hendler,et al.  Towards the semantic web: knowledge representation in a dynamic, distributed environment , 2001 .

[144]  Olivier Corby,et al.  Methods and tools for corporate knowledge management , 1999, Int. J. Hum. Comput. Stud..

[145]  A. Rector,et al.  A Terminology Server for Medical Language and Medical Information Systems , 1995, Methods of Information in Medicine.

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

[147]  Nicola Guarino,et al.  Conceptual analysis of lexical taxonomies: the case of WordNet top-level , 2001, FOIS.

[148]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[149]  Marti A. Hearst.  Automatic Acquisition of Hyponyms from Large Text Corpora , 1992, COLING.

[150]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[151]  Paul-Thomas Kandzia,et al.  How to write f-logic programs in florid: A tutorial for the database language f-logic , 1996 .

[152]  Aldo Gangemi,et al.  Integrating Medical Terminologies with ONIONS Methodology , 1997 .

[153]  Asunción Gómez-Pérez,et al.  ONTOGENERATION: Reusing Domain and Linguistic Ontologies for Spanish Text Generation , 1998 .

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

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

[156]  James A. Hendler,et al.  A Portrait of the Semantic Web in Action , 2001, IEEE Intell. Syst..

[157]  Nicola Guarino,et al.  Supporting ontological analysis of taxonomic relationships , 2001, Data Knowl. Eng..

[158]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[159]  York Sure,et al.  Ontoedit : Collaborative ontology engineering for the semantic web , 2002 .

[160]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[161]  Mark A. Musen,et al.  The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.

[162]  Jérôme Euzenat,et al.  Corporate memory through cooperative creation of knowledge bases and hyper-documents , 1996 .

[163]  Dieter Fensel,et al.  Ontobroker: Ontology Based Access to Distributed and Semi-Structured Information , 1999, DS-8.

[164]  Michael Kifer,et al.  Transaction Logic Programming , 1993, ICLP.

[165]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[166]  Steffen Staab,et al.  CREAM: creating relational metadata with a component-based, ontology-driven annotation framework , 2001, K-CAP '01.

[167]  Jérôme Euzenat,et al.  Building consensual knowledge bases: context and architecture , 1995 .

[168]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[169]  David Faure,et al.  First experiences of using semantic knowledge learned by ASIUM for information extraction task using INTEX , 2000, ECAI Workshop on Ontology Learning.

[170]  James H. Cross,et al.  Reverse engineering and design recovery: a taxonomy , 1990, IEEE Software.

[171]  Ernest Friedman Hill,et al.  Jess in Action: Java Rule-Based Systems , 2003 .

[172]  Andreas Abecker,et al.  Toward a Technology for Organizational Memories , 1998, IEEE Intell. Syst..

[173]  Enrico Motta,et al.  ScholOnto: an ontology-based digital library server for research documents and discourse , 2000, International Journal on Digital Libraries.

[174]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[175]  Bob J. Wielinga,et al.  CommonKADS: a comprehensive methodology for KBS development , 1994, IEEE Expert.

[176]  Yi-Shin Chen,et al.  The TheaterLoc Virtual Application , 2000, AAAI/IAAI.

[177]  Marie-Christine RoussetL.  The use of carin language and algorithmsfor Information Integration : the PICSELprojectV , 1998 .

[178]  Yolanda Gil,et al.  EXPECT: Explicit Representations for Flexible Acquisition , 1995 .

[179]  Juan Pazos Sierra,et al.  Ingenieria del conocimiento: diseño y construcción de sistemas expertos , 1988 .

[180]  Boris Motik,et al.  MAFRA - A MApping FRAmework for Distributed Ontologies , 2002, EKAW.

[181]  Jose Manuel Corera,et al.  Building and Reusing Ontologies for Electrical Network Applications , 1996, ECAI.

[182]  Mark A. Musen,et al.  Anchor-PROMPT: Using Non-Local Context for Semantic Matching , 2001, OIS@IJCAI.

[183]  Bernhard Thalheim,et al.  Entity-relationship modeling - foundations of database technology , 2010 .

[184]  Aldo Gangemi,et al.  Some Requirements and Experiences in Engineering Terminological Ontologies over the WWW , 2022 .

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

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

[187]  Heiner Stuckenschmidt.  Using OIL for Intelligent Information Integration , 2000 .

[188]  Daniel D. McCracken,et al.  Life cycle concept considered harmful , 1982, ACM SIGSOFT Softw. Eng. Notes.

[189]  Nathalie Aussenac-Gilles,et al.  Revisiting Ontology Design: A Methodology Based on Corpus Analysis , 2000, EKAW.

[190]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[191]  Konstantinos Sagonas,et al.  XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[192]  Todd R. Johnson,et al.  Task-structure analysis for knowledge modeling , 1992, CACM.

[193]  Thomas R. Gruber,et al.  Ontolingua: a mechanism to support portable ontologies , 1991 .

[194]  Pedro M. Domingos,et al.  Learning to map between ontologies on the semantic web , 2002, WWW '02.

[195]  Mike Uschold,et al.  Building Ontologies: Towards a Unified Methodology , 1996 .

[196]  Michael Gruninger,et al.  Methodology for the Design and Evaluation of Ontologies , 1995, IJCAI 1995.