About: F-logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:LanguageUnit106284225, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FF-logic

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.

AttributesValues
rdf:type
rdfs:label
  • F-Logic
  • F-logic
  • F-logic
  • F-логика
rdfs:comment
  • Frame Logic (abgekürzt F-Logic) ist eine formale Sprache zur Wissensrepräsentation.
  • 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-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-логика — (англ. frame logic) — язык представления знаний и онтологий. F-логика сочетает возможности концептуального моделирования с объектно-ориентированными языками и предлагает декларативный, компактный и простой синтаксис вместе с четкой семантикой логического языка на основе фреймов. Характеристики F-логики включают, среди прочих, идентификацию объектов, составные объекты, наследование, полиморфизм, запросные методы, . F-логика находится в том же отношении к объектно-ориентированному программированию, в каком классическое относится к реляционному программированию баз данных.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • Frame Logic (abgekürzt F-Logic) ist eine formale Sprache zur Wissensrepräsentation.
  • 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-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.
  • F-логика — (англ. frame logic) — язык представления знаний и онтологий. F-логика сочетает возможности концептуального моделирования с объектно-ориентированными языками и предлагает декларативный, компактный и простой синтаксис вместе с четкой семантикой логического языка на основе фреймов. Характеристики F-логики включают, среди прочих, идентификацию объектов, составные объекты, наследование, полиморфизм, запросные методы, . F-логика находится в том же отношении к объектно-ориентированному программированию, в каком классическое относится к реляционному программированию баз данных. F-логика была первоначально разработана для дедуктивных баз данных, но теперь чаще используется для семантических технологий, особенно для Semantic Web. F-логику рассматривают как один из формализмов для онтологий, хотя дескриптивная логика более популярна и принята как основная для языка онтологий OWL. Среда разработки F-логики используется также в приложениях для информационной интеграции, вопросно-ответных системах и семантическом поиске. Начиная с версии 4 редактора онтологий Protege, F-логика поддерживается как один из двух видов онтологии. Синтаксис Формата Правил Обмена (RIF) Консорциума Всемирной Паутины основан на F-логике.
prov:wasDerivedFrom
page length (characters) of wiki page
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software