F-OWL: An Inference Engine for Semantic Web

Understanding and using the data and knowledge encoded in semantic web documents requires an inference engine. F-OWL is an inference engine for the semantic web language OWL language based on F-logic, an approach to defining frame-based systems in logic. F-OWL is implemented using XSB and Flora-2 and takes full advantage of their features. We describe how F-OWL computes ontology entailment and compare it with other description logic based approaches. We also describe TAGA, a trading agent environment that we have used as a test bed for F-OWL and to explore how multiagent systems can use semantic web concepts and technology.

[1]  James A. Hendler,et al.  The semantic Web and its languages , 2000 .

[2]  A. Riazanov.  Implementing an Efficient Theorem Prover , 2003 .

[3]  Timothy W. Finin,et al.  TAGA: Trading Agent Competition in Agentcities1 , 2003 .

[4]  Timothy W. Finin,et al.  TAGA : Trading Agent Competition in Agentcities , 2003 .

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

[6]  I. Timm,et al.  Agent-Based Services for the Semantic Web , 2001 .

[7]  Luís Moniz Pereira,et al.  Computational Logic — CL 2000 , 2000, Lecture Notes in Computer Science.

[8]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[9]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

[10]  O. Lassila.  Taking the RDF Model Theory Out for a Spin , 2002, SEMWEB.

[11]  James A. Hendler,et al.  Trust Networks on the Semantic Web , 2003, WWW.

[12]  Ora Lassila,et al.  Enabling Semantic Web Programming by Integrating RDF and Common Lisp , 2001, SWWS.

[13]  Mira Balaban,et al.  The F-logic approach for description languages , 1995, Annals of Mathematics and Artificial Intelligence.

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

[15]  Youyong Zou.  Agent-Based Services for the Semantic Web , 2004 .

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

[17]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[18]  Michael Kifer,et al.  FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine , 2000, Computational Logic.

[19]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[20]  Shou-De Lin,et al.  A trading agent competition , 2000 .

[21]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[22]  Ian Horrocks,et al.  FaCT and iFaCT , 1999, Description Logics.

[23]  Franz Baader,et al.  Tableau Algorithms for Description Logics , 2000, TABLEAUX.

[24]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .