Mathematical Service Matching Using Description Logic and OWL

Web Service technology is increasingly being used to develop distributed applications, however the convention is to describe individual services in terms of the interfaces that they expose, rather in terms of the function that they perform. In this paper we describe a mechanism for encoding information about mathematical web services which is rich enough to allow a potential client to identify automatically all those services which may be capable of performing a particular task. This mechanism makes use of the Web Ontology Language (OWL) and a novel approach to Description Logic reasoning exploiting enterprise database technologies.

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

[2]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

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

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

[5]  Rüdiger Mack,et al.  FIZ Karlsruhe , 2005, Inf. Serv. Use.

[6]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

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

[8]  James H. Davenport,et al.  Mathematics on the (Semantic) NET , 2004, ESWS.

[9]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[10]  Daniel Richardson,et al.  Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.

[11]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[12]  Olga Caprotti,et al.  Publishing and Discovering Mathematical Service Descriptions: A Web Registry Approach , 2004 .

[13]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[14]  H. Chertkow,et al.  Semantic memory , 2002, Current neurology and neuroscience reports.

[15]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[16]  Ronald F. Boisvert,et al.  GAMS: a framework for the management of scientific software , 1985, TOMS.

[17]  Ian Horrocks,et al.  Instance Store Database Support for Reasoning over Individuals , 2002 .

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

[19]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..