F-OWL: An Inference Engine for Semantic Web
F-OWL: An Inference Engine for Semantic Web is a scholarly work by Tim Finin, published in 2004 in ''Lecture Notes in Computer Science''. The main subjects of the publication include Semantic Web, ontology language, information retrieval, Ontology Inference Layer, inference, Semantic Web Rule Language, Social Semantic Web, statistical machine translation, computer science, natural language processing, Semantic Web Stack, description logic, Semantic analytics, artificial intelligence, inference engine, frame, Web Ontology Language, logic programming, ontology, OWL-S, and semantic reasoner. The authors describe how F-OWL computes ontology entailment and compare it with other description logic based approaches.