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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Zou, Y., Finin, T., & Chen, H. (2004). F-OWL: An inference engine for the semantic web. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3228, pp. 238–248). Springer Verlag. https://doi.org/10.1007/978-3-540-30960-4_16
Mendeley helps you to discover research relevant for your work.