F-OWL: An Inference Engine for Semantic Web
- 1 January 2004
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Reducing OWL Entailment to Description Logic SatisfiabilityLecture Notes in Computer Science, 2003
- Trust Networks on the Semantic WebLecture Notes in Computer Science, 2003
- Taking the RDF Model Theory Out for a SpinLecture Notes in Computer Science, 2002
- RACER System DescriptionLecture Notes in Computer Science, 2001
- The Semantic WebScientific American, 2001
- FLORA: Implementing an Efficient DOOD System Using a Tabling Logic EngineLecture Notes in Computer Science, 2000
- Tableau Algorithms for Description LogicsLecture Notes in Computer Science, 2000
- Logical foundations of object-oriented and frame-based languagesJournal of the ACM, 1995
- XSB as an efficient deductive database enginePublished by Association for Computing Machinery (ACM) ,1994