Relating Ontology Languages and Web Standards.

Currently computers are changing from single isolated devices to entry points in a world wide network of information exchange and business transactions called the World Wide Web (WWW). Therefore support in data, information, and knowledge exchange becomes the key issue in current computer technology. Ontologies provide a shared and common understanding of a domain that can be communicated between people and application systems. Therefore, they may play a major role in supporting information exchange processes in various areas. However, in order to develope their full power, the representation languages for ontologies must be compartible with existing data exchange standards in the World Wide Web. In this paper we investigate protoypical examples of ontology languages and web languages. Finally we show how these web standards can be used as a representation languages for ontologies.

[1]  Rudi Studer,et al.  Ontologies as Conceptual Models for XML Documents , 1999 .

[2]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

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

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

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

[6]  Peter F. Patel-Schneider,et al.  Optimising Propositional Modal Satisfiability for Description Logic Subsumption , 1998, AISC.

[7]  Nancy Ide,et al.  Using the Right Tools: Enhancing Retrieval from Marked-up Documents , 1999, Comput. Humanit..

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

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

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

[11]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

[12]  Diego Calvanese,et al.  Structured Objects: Modeling and Reasoning , 1995, DOOD.

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

[14]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[15]  Robert M. MacGregor,et al.  A Description Classifier for the Predicate Calculus , 1994, AAAI.

[16]  Dan Brickley,et al.  Enabling Inferencing , 1998, QL.

[17]  Bernhard Nebel,et al.  Artificial intelligence: a computational perspective , 1997 .

[18]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[19]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[20]  Olivier Corby,et al.  Exploitation of XML for Corporate Knowledge Management , 1999, EKAW.

[21]  Eric Miller,et al.  An Introduction to the Resource Description Framework , 1998, D Lib Mag..

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

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

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

[25]  Maurizio Lenzerini,et al.  What's in an Aggregate: Foundations for Description Logics with Tuples and Sets , 1995, IJCAI.