FLogic
   HOME





FLogic
F-logic (Frame logic) is a knowledge representation and ontology language. It combines the advantages of conceptual modeling with object-oriented, frame-based languages, and offers a declarative, compact and simple syntax, and the well-defined semantics of a logic programming language. Features include, among others, object identity, complex objects, inheritance, polymorphism, query methods, encapsulation. F-logic stands in the same relationship to object-oriented programming as classical relational calculus stands to relational database programming. Overview F-logic was developed by Michael Kifer at Stony Brook University and Georg Lausen at the University of Mannheim. F-logic was originally developed for deductive databases, but is now used most often for semantic technologies, especially the semantic web. F-logic is considered as one of the formalisms for ontologies, but description logic (DL) is more popular and accepted, as is the DL-based Web Ontology Language (OWL). A de ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Ontology Language
In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic. Classification of ontology languages Classification by syntax Traditional syntax ontology languages * Common Logic - and its dialects * CycL * DOGMA (Developing Ontology-Grounded Methods and Applications) * F-Logic (Frame Logic) * FO-dot (First-order logic extended with types, arithmetic, aggregates and inductive definitions) * KIF (Knowledge Interchange Format) ** Ontolingua based on KIF * KL-ONE * KM programming language * LOOM (ontology) * OCML (Operational Conceptual Modelling Language) * OKBC ( Open Knowledge Base Connectivity) ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  



MORE