UMBC ebiquity

F-OWL: an Inference Engine for the Semantic Web

Authors: Youyong Zou, Tim Finin, and Harry Chen

Book Title: Formal Approaches to Agent-Based Systems

Date: November 30, 2004

Abstract: 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.

Type: InBook

Editors: MIchael Hinchey, James L. Rash, Walter F. Truszkowski, and Christopher A. Rouff

Publisher: Springer-verlag

Series: Lecture Notes in Computer Science

Note: (proceedings of the Third International Workshop (FAABS), April 16-18, 2004, Greenbelt, MD, USA)

Volume: 3228

Google Scholar: jC77qOPcDkEJ

Number of Google Scholar citations: 55 [show citations]

Number of downloads: 8922


Available for download as

size: 83819 bytes

size: 126464 bytes