DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/F-logic> ?p ?o }

• 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.In contrast to description logic based ontology formalism the semantics of F-logic are normally that of a closed world assumption as opposed to DL's open world assumption. Also, F-logic is generally undecidable, whereas the SHOIN description logic that OWL DL is based on is decidable. However it is possible to represent more expressive statements in F-logic than are possible with description logics.The most comprehensive description of F-logic appears in. The preliminary paper has won the 1999 Test of Time Award from ACM SIGMOD. A follow-up paper has won the 2002 Test of Time Award from ACM SIGMOD.".
• 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 wikiPageLength "5534".
• F-logic wikiPageOutDegree "44".
• F-logic wikiPageRevisionID "674339542".
• F-logic wikiPageWikiLink Category:Declarative_programming_languages.
• F-logic wikiPageWikiLink Category:Knowledge_representation.
• F-logic wikiPageWikiLink Category:Logic_programming_languages.
• F-logic wikiPageWikiLink Category:Semantic_Web.
• F-logic wikiPageWikiLink Closed-world_assumption.
• F-logic wikiPageWikiLink Closed_world_assumption.
• F-logic wikiPageWikiLink Defeasible_reasoning.
• F-logic wikiPageWikiLink Description_logic.
• F-logic wikiPageWikiLink Encapsulation_(computer_programming).
• F-logic wikiPageWikiLink Encapsulation_(computer_science).
• F-logic wikiPageWikiLink First-order_logic.
• F-logic wikiPageWikiLink Flora-2.
• F-logic wikiPageWikiLink Frame_(data_structure).
• F-logic wikiPageWikiLink Frame_language.
• F-logic wikiPageWikiLink Georg_Lausen.
• F-logic wikiPageWikiLink HiLog.
• F-logic wikiPageWikiLink Inheritance_(computer_science).
• F-logic wikiPageWikiLink Inheritance_(object-oriented_programming).
• F-logic wikiPageWikiLink Knowledge_representation.
• F-logic wikiPageWikiLink Knowledge_representation_and_reasoning.
• F-logic wikiPageWikiLink Logic_programming.
• F-logic wikiPageWikiLink Michael_Kifer.
• F-logic wikiPageWikiLink Non-monotonic_logic.
• F-logic wikiPageWikiLink Non-monotonic_reasoning.
• F-logic wikiPageWikiLink Object-oriented_programming.
• F-logic wikiPageWikiLink ObjectLogic.
• F-logic wikiPageWikiLink OntoStudio.
• F-logic wikiPageWikiLink Ontology_(information_science).
• F-logic wikiPageWikiLink Ontology_language.
• F-logic wikiPageWikiLink Ontoprise_GmbH.
• F-logic wikiPageWikiLink Open-world_assumption.
• F-logic wikiPageWikiLink Open_world_assumption.
• F-logic wikiPageWikiLink Polymorphism_(computer_science).
• F-logic wikiPageWikiLink Predicate_calculus.
• F-logic wikiPageWikiLink Question_answering.
• F-logic wikiPageWikiLink Relational_database.
• F-logic wikiPageWikiLink Rule_Interchange_Format.
• F-logic wikiPageWikiLink SHOIN.
• F-logic wikiPageWikiLink SIGMOD.
• F-logic wikiPageWikiLink Semafora_systems_GmbH.
• F-logic wikiPageWikiLink Semantic_Web.
• F-logic wikiPageWikiLink Semantic_search.
• F-logic wikiPageWikiLink Stony_Brook_University.
• F-logic wikiPageWikiLink Transaction_logic.
• F-logic wikiPageWikiLink Undecidable_problem.
• F-logic wikiPageWikiLink University_of_Mannheim.
• F-logic wikiPageWikiLink Web_Ontology_Language.
• F-logic wikiPageWikiLink World_Wide_Web_Consortium.
• F-logic wikiPageWikiLinkText "F-logic".
• F-logic hasPhotoCollection F-logic.
• F-logic wikiPageUsesTemplate Template:Citation_needed.
• F-logic wikiPageUsesTemplate Template:Reflist.
• 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 hypernym Representation.
• 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 sameAs 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=674339542.
• F-logic isPrimaryTopicOf F-logic.