Rules and ontologies in f-logic

Authors:
Michael Kifer
Affiliations:
Department of Computer Science, State University of New Your at Stony Brook, Stony Brook, NY
Venue:
Proceedings of the First international conference on Reasoning Web
Year:
2005

Citing 11
Cited 5

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Foundations of disjunctive logic programming

Foundations of disjunctive logic programming
HILOG: a foundation for higher-order logic programming

Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Prioritized conflict handing for logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
A logic for programming database transactions

Logics for databases and information systems
Access to Objects by Path Expressions and Rules

VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases

On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine

CL '00 Proceedings of the First International Conference on Computational Logic
The Description Logic Handbook

The Description Logic Handbook

Containment of conjunctive object meta-queries

VLDB '06 Proceedings of the 32nd international conference on Very large data bases
On the Relationship between Description Logic-based and F-Logic-based Ontologies

Fundamenta Informaticae
Hybrid reasoning with rules and ontologies

Semantic techniques for the web
Formal modelling, knowledge representation and reasoning for design and development of user-centric pervasive software: a meta-review

International Journal of Metadata, Semantics and Ontologies
On the Relationship between Description Logic-based and F-Logic-based Ontologies

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.