Rules and Ontologies in F-Logic

@inproceedings{Kifer2005RulesAO,
  title={Rules and Ontologies in F-Logic},
  author={Michael Kifer},
  booktitle={Reasoning Web},
  year={2005}
}
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

Citations

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

References

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
http://flora.sourceforge.net/, June • 2002
View 7 Excerpts
Highly Influenced

Ontologies in F-Logic

Handbook on Ontologies • 2004
View 1 Excerpt

Owl-s

O.-S. Coalition
http://www.daml.org/services/owl-s/1.1/, 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…