A Mathematical Approach to Ontology Authoring and Documentation

The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentation of formal knowledge have always been important issues in the MKM community. Therefore, we try to improve these ontology languages by well-tried MKM techniques. Concretely, we propose embedding the language concepts into OMDoc to make use of its modularity and documentation infrastructure. We show how OMDoc can be made compatible with semantic web ontology languages, focusing on knowledge representation, modular design, documentation, and metadata. We evaluate our technology by re-implementing the Friend-of-a-friend (FOAF) ontology and applying it in a novel metadata framework for technical documents (including ontologies).

[1]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[2]  Roy T. Fielding,et al.  Uniform Resource Identifiers (URI): Generic Syntax , 1998, RFC.

[3]  Michael Kohlhase,et al.  OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] , 2006, Lecture Notes in Computer Science.

[4]  Steven Pemberton,et al.  RDFa in XHTML: Syntax and Processing , 2008 .

[5]  Sebastian Schaffert,et al.  IkeWiki: A Semantic Wiki for Collaborative Knowledge Management , 2006, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).

[6]  Christoph Lange,et al.  A Semantic Wiki for Mathematical Knowledge Management , 2006, SemWiki.

[7]  Andreas Neumann.  Scalable Vector Graphics (SVG) , 2008, Encyclopedia of GIS.

[8]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[9]  Christoph Lange,et al.  SWiM -- A Semantic Wiki for Mathematical Knowledge Management , 2008, ESWC.

[10]  Roy T. Fielding,et al.  Uniform Resource Identifier (URI): Generic Syntax , 2005, RFC.

[11]  Gerhard Tutz,et al.  Advances in GLIM and Statistical Modelling , 1992 .

[12]  Nathan R. Yergler,et al.  ccREL : The Creative Commons Rights Expression Language , 2008 .

[13]  Leo Sauermann,et al.  Cool URIs for the semantic web , 2007 .

[14]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[15]  William M. Farmer,et al.  Little Theories , 1992, CADE.

[16]  Michael Kohlhase,et al.  An Exchange Format for Modular Knowledge , 2008, LPAR Workshops.

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

[18]  Christoph Lange,et al.  Integrating Web Services into Active Mathematical Documents , 2009, Calculemus/MKM.

[19]  Michael Kohlhase,et al.  MathDox : mathematical documents on the web , 2006 .

[20]  Steven Pemberton,et al.  RDFa in XHTML: Syntax and Processing A collection of attributes and processing rules for extending XHTML to support RDF , 2008 .

[21]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language , 2009 .

[22]  Peter Haase,et al.  OMV – Ontology Metadata Vocabulary , 2005 .

[23]  Michael Kohlhase,et al.  Notations for Living Mathematical Documents , 2008, AISC/MKM/Calculemus.

[24]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

[25]  Till Mossakowski,et al.  The OWL in the CASL - Designing Ontologies Across Logics , 2008, OWLED.

[26]  Christoph Lange,et al.  Easily Editing and Browsing Complex OpenMath Markup with SWiM , 2008 .

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