Rules and Ontologies in F-Logic

  title={Rules and Ontologies in F-Logic},
  author={Michael Kifer},
  booktitle={Reasoning Web},
F-logic is a formalism that integrates logic with object-oriented programming in a clean and declarative fashion. It has been successfully used for information integration, ontology modeling, agent-based systems, software engineering, and more. This paper gives a brief overview of F-logic and discusses its features from the point of view of an ontology language. 
Highly Cited
This paper has 26 citations. REVIEW CITATIONS
Related Discussions
This paper has been referenced on Twitter 1 time. VIEW TWEETS


Publications citing this paper.
Showing 1-10 of 17 extracted citations

Translating Ontologies from Predicate-based to Frame-based Languages

2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06) • 2006
View 12 Excerpts
Highly Influenced


Publications referenced by this paper.
Showing 1-10 of 31 references

OWL web ontology language semantics and abstract syntax

P. F. Patel-Schneider, P. Hayes, I. Horrocks
W3C Candidate Recommendation, 18 August • 2003
View 8 Excerpts
Highly Influenced

Flora-2: User’s Manual

G. Yang, M. Kifer, C. Zhao, June • 2002
View 7 Excerpts
Highly Influenced

Ontologies in F-Logic

Handbook on Ontologies • 2004
View 1 Excerpt


O.-S. Coalition, December • 2004
View 1 Excerpt

Web services modeling ontology

D. Roman, H. Lausen, U. Keller
Technical report, DERI, November • 2004
View 3 Excerpts

Similar Papers

Loading similar papers…