Matches in DBpedia 2014 for { <http://dbpedia.org/resource/F-logic> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- F-logic abstract "F-logic (frame logic) is a knowledge representation and ontology language. F-logic combines the advantages of conceptual modeling with object-oriented, frame-based languages and offers a declarative, compact and simple syntax, as well as the well-defined semantics of a logic-based 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 predicate calculus stands to relational database programming.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 most frequently used 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 OWL.A development environment for F-logic was developed in the NeOn project and is also used in a range of applications for information integration, question answering and semantic search. Prior to the version 4 of Protégé ontology editor, F-Logic is supported as one of the two kinds of ontology.The frame syntax of the Rule Interchange Format Basic Logic Dialect (RIF BLD) standardized by the World Wide Web Consortium is based on F-logic; RIF BLD however does not include non-monotonic reasoning features of F-logic.".
- F-logic wikiPageExternalLink index.php?project=Florid.
- F-logic wikiPageExternalLink pathlp.sourceforge.net.
- F-logic wikiPageExternalLink swsl.
- F-logic wikiPageExternalLink time.
- F-logic wikiPageExternalLink wsml.
- F-logic wikiPageID "4880312".
- F-logic wikiPageRevisionID "594160145".
- F-logic hasPhotoCollection F-logic.
- F-logic subject Category:Declarative_programming_languages.
- F-logic subject Category:Knowledge_representation.
- F-logic subject Category:Logic_programming_languages.
- F-logic subject Category:Semantic_Web.
- F-logic comment "F-logic (frame logic) is a knowledge representation and ontology language. F-logic combines the advantages of conceptual modeling with object-oriented, frame-based languages and offers a declarative, compact and simple syntax, as well as the well-defined semantics of a logic-based language. Features include, among others, object identity, complex objects, inheritance, polymorphism, query methods, encapsulation.".
- F-logic label "F-Logic".
- F-logic label "F-logic".
- F-logic sameAs F-Logic.
- F-logic sameAs m.0cs99g.
- F-logic sameAs Q1266004.
- F-logic sameAs Q1266004.
- F-logic wasDerivedFrom F-logic?oldid=594160145.
- F-logic isPrimaryTopicOf F-logic.