| http://dbpedia.org/ontology/abstract
|
F-logique ou F-logic (cadre logique) est u … F-logique ou F-logic (cadre logique) est un langage de représentation des connaissances et d'ontologie. Il combine les avantages de la modélisation conceptuelle avec les langages orientés objets et orientés cadres et offre une syntaxe déclarative qui se veut compacte et simple, pourvu de la sémantique précise d'un langage logique. Ses fonctionnalités incluent, l'identité des objets, les objets complexes, l'héritage, le polymorphisme, les méthodes requêtes, l'encapsulation. F-logic est pour la programmation orienté objet ce que le calcul des prédicat classique est pour la programmation de bases de données relationnelles. F-logic a été écrite par et 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 est l'un des formalismes pour les ontologies, avec la logique de description (DL) qui est cependant plus utilisée et acceptée, étant notamment une base d'OWL. Des outils utilisant F-logic comme un environnement de développement, le projet NeOn, utilisé pour de nombreuses applications dans le cadre de l'intégration d'informations, les systèmes de question/réponse et la . Les versions de l'éditeur d'ontologie Protégé antérieure à la version 4 supportaient F-logic comme une des bases de construction d'ontologie. La syntaxe «cadre» du format Rule Interchange Format «Basic Logic Dialect» (RIF BLD), format d'échange de règle «dialecte de base pour la logique» standardisé par le W3C est basé sur F-logic; RIF BLD n'inclut cependant pas les fonctionnalités de raisonnement non monotone de F-logic. Contrairement aux formalismes d'ontologie basées sur les logiques de description, celles des F-logiques font généralement . Celles des LDs font généralement l'hypothèse inverse, celle du monde ouvert. Les, F-logiques sont généralement , alors que des formalismes comme , sur lequel OWL DL est basé, est décidable. Il est cependant possible d'être plus expressifs avec F-logic qu'avec certaines LD. La description la plus complète de F-logicest le draft de F-logic. La publication préliminaire a gagné la récompense «Test du temps» 1999 (Test of Time Award) de la conférence ACM SIGMOD. Un papier subsequent l'a eu à nouveau en 2002.apier subsequent l'a eu à nouveau en 2002.
, F-logic (frame logic) is a knowledge repre … 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 relational calculus stands to relational database programming.stands to relational database programming.
, F-логика — (англ. frame logic) — язык пред … F-логика — (англ. frame logic) — язык представления знаний и онтологий. F-логика сочетает возможности концептуального моделирования с объектно-ориентированными языками и предлагает декларативный, компактный и простой синтаксис вместе с четкой семантикой логического языка на основе фреймов. Характеристики F-логики включают, среди прочих, идентификацию объектов, составные объекты, наследование, полиморфизм, запросные методы, . F-логика находится в том же отношении к объектно-ориентированному программированию, в каком классическое относится к реляционному программированию баз данных. F-логика была первоначально разработана для дедуктивных баз данных, но теперь чаще используется для семантических технологий, особенно для Semantic Web. F-логику рассматривают как один из формализмов для онтологий, хотя дескриптивная логика более популярна и принята как основная для языка онтологий OWL. Среда разработки F-логики используется также в приложениях для информационной интеграции, вопросно-ответных системах и семантическом поиске. Начиная с версии 4 редактора онтологий Protege, F-логика поддерживается как один из двух видов онтологии. Синтаксис Формата Правил Обмена (RIF) Консорциума Всемирной Паутины основан на F-логике.ума Всемирной Паутины основан на F-логике.
, Frame Logic (abgekürzt F-Logic) ist eine formale Sprache zur Wissensrepräsentation.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.wsmo.org/wsml/ +
, http://dbis.informatik.uni-freiburg.de/index.php%3Fproject=Florid +
, http://pathlp.sourceforge.net/ +
, http://www.daml.org/services/swsl/ +
, http://coherentknowledge.com/ergo-documentation/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
4880312
|
| http://dbpedia.org/ontology/wikiPageLength
|
6738
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1121112060
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Relational_database +
, http://dbpedia.org/resource/Object-oriented_programming +
, http://dbpedia.org/resource/Frame_%28data_structure%29 +
, http://dbpedia.org/resource/HiLog +
, http://dbpedia.org/resource/Inheritance_%28computer_science%29 +
, http://dbpedia.org/resource/Relational_calculus +
, http://dbpedia.org/resource/Ontology_%28information_science%29 +
, http://dbpedia.org/resource/Transaction_logic +
, http://dbpedia.org/resource/Open_world_assumption +
, http://dbpedia.org/resource/Web_Ontology_Language +
, http://dbpedia.org/resource/Category:Logic_programming_languages +
, http://dbpedia.org/resource/Ontology_language +
, http://dbpedia.org/resource/Category:Declarative_programming_languages +
, http://dbpedia.org/resource/Encapsulation_%28computer_science%29 +
, http://dbpedia.org/resource/Semantic_web +
, http://dbpedia.org/resource/University_of_Mannheim +
, http://dbpedia.org/resource/Description_logic +
, http://dbpedia.org/resource/Non-monotonic_reasoning +
, http://dbpedia.org/resource/Ontoprise_GmbH +
, http://dbpedia.org/resource/Question_answering +
, http://dbpedia.org/resource/Category:Semantic_Web +
, http://dbpedia.org/resource/Rule_Interchange_Format +
, http://dbpedia.org/resource/Knowledge_representation +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/Semantic_search +
, http://dbpedia.org/resource/Polymorphism_%28computer_science%29 +
, http://dbpedia.org/resource/Flora-2 +
, http://dbpedia.org/resource/SIGMOD +
, http://dbpedia.org/resource/World_Wide_Web_Consortium +
, http://dbpedia.org/resource/SHOIN +
, http://dbpedia.org/resource/Well-founded_semantics +
, http://dbpedia.org/resource/Category:Knowledge_representation +
, http://dbpedia.org/resource/Closed_world_assumption +
, http://dbpedia.org/resource/Stony_Brook_University +
, http://dbpedia.org/resource/Logic_programming +
, http://dbpedia.org/resource/Defeasible_reasoning +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Sxhl +
, http://dbpedia.org/resource/Template:Mono +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Knowledge_representation +
, http://dbpedia.org/resource/Category:Semantic_Web +
, http://dbpedia.org/resource/Category:Logic_programming_languages +
, http://dbpedia.org/resource/Category:Declarative_programming_languages +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/F-logic?oldid=1121112060&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/F-logic +
|
| owl:sameAs |
http://yago-knowledge.org/resource/F-logic +
, https://global.dbpedia.org/id/Jexh +
, http://de.dbpedia.org/resource/F-Logic +
, http://ru.dbpedia.org/resource/F-%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0 +
, http://www.wikidata.org/entity/Q1266004 +
, http://rdf.freebase.com/ns/m.0cs99g +
, http://dbpedia.org/resource/F-logic +
, http://fr.dbpedia.org/resource/F-logic +
|
| rdf:type |
http://dbpedia.org/class/yago/Part113809207 +
, http://dbpedia.org/class/yago/Abbreviation107091587 +
, http://dbpedia.org/class/yago/WikicatFormalLanguages +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Form106290637 +
, http://dbpedia.org/class/yago/LanguageUnit106284225 +
, http://dbpedia.org/class/yago/WikicatAbbreviations +
, http://dbpedia.org/class/yago/Word106286395 +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/class/yago/Relation100031921 +
|
| rdfs:comment |
F-logique ou F-logic (cadre logique) est u … F-logique ou F-logic (cadre logique) est un langage de représentation des connaissances et d'ontologie. Il combine les avantages de la modélisation conceptuelle avec les langages orientés objets et orientés cadres et offre une syntaxe déclarative qui se veut compacte et simple, pourvu de la sémantique précise d'un langage logique. Ses fonctionnalités incluent, l'identité des objets, les objets complexes, l'héritage, le polymorphisme, les méthodes requêtes, l'encapsulation. F-logic est pour la programmation orienté objet ce que le calcul des prédicat classique est pour la programmation de bases de données relationnelles.mation de bases de données relationnelles.
, Frame Logic (abgekürzt F-Logic) ist eine formale Sprache zur Wissensrepräsentation.
, F-логика — (англ. frame logic) — язык пред … F-логика — (англ. frame logic) — язык представления знаний и онтологий. F-логика сочетает возможности концептуального моделирования с объектно-ориентированными языками и предлагает декларативный, компактный и простой синтаксис вместе с четкой семантикой логического языка на основе фреймов. Характеристики F-логики включают, среди прочих, идентификацию объектов, составные объекты, наследование, полиморфизм, запросные методы, . F-логика находится в том же отношении к объектно-ориентированному программированию, в каком классическое относится к реляционному программированию баз данных. реляционному программированию баз данных.
, F-logic (frame logic) is a knowledge repre … 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 relational calculus stands to relational database programming.stands to relational database programming.
|
| rdfs:label |
F-Logic
, F-logic
, F-логика
|
