F-OWL: an inference engine for semantic web

Authors:
Youyong Zou;Tim Finin;Harry Chen
Affiliations:
Computer Science and Electrical Engineering, University of Maryland, Baltimore County, Baltimore, MD;Computer Science and Electrical Engineering, University of Maryland, Baltimore County, Baltimore, MD;Computer Science and Electrical Engineering, University of Maryland, Baltimore County, Baltimore, MD
Venue:
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Year:
2004

Citing 5
Cited 14

XSB as an efficient deductive database engine

SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Taking the RDF Model Theory Out for a Spin

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine

CL '00 Proceedings of the First International Conference on Computational Logic
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Modeling conversation policies using permissions and obligations

Autonomous Agents and Multi-Agent Systems
On the Relationship between Description Logic-based and F-Logic-based Ontologies

Fundamenta Informaticae
Decentralized metadata development for open B2B electronic business

DCMI '05 Proceedings of the 2005 international conference on Dublin Core and metadata applications: vocabularies in practice
Extending Siena to support more expressive and flexible subscriptions

Proceedings of the second international conference on Distributed event-based systems
Towards a Complete Scheme for Tabled Execution Based on Program Transformation

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
A Tabling Implementation Based on Variables with Multiple Bindings

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A framework for ontology based rule acquisition from web documents

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
An improved continuation call-based implementation of tabling

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling*

Theory and Practice of Logic Programming
Supporting role based provisioning with rules using OWL and F-logic

OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
CLIPS-OWL: A framework for providing object-oriented extensional ontology queries in a production rule engine

Data & Knowledge Engineering
Modeling communicative behavior using permissions and obligations

AC'04 Proceedings of the 2004 international conference on Agent Communication
Xsb: Extending prolog with tabled logic programming

Theory and Practice of Logic Programming - Prolog Systems
On the Relationship between Description Logic-based and F-Logic-based Ontologies

Fundamenta Informaticae

Quantified Score

Hi-index	0.02

Visualization

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.