f-logic примеры

• However it is possible to represent more expressive statements in F-logic than are possible with description logics.
  Однако в F-логике можно представить более выразительные утверждения, чем это возможно с дескриптивными логиками.
• Prior to the version 4 of Protégé ontology editor, F-Logic is supported as one of the two kinds of ontology.
  Начиная с версии 4 редактора онтологий Protege, F-логика поддерживается как один из двух видов онтологии.
• Also, F-logic is generally undecidable, whereas the SHOIN description logic that OWL DL is based on is decidable.
  Вместе с тем, F-логика в общем случае неразрешима, тогда как дескриптивная логика, на которой базируется OWL — разрешима.
• F-logic was originally developed for deductive databases, but is now most frequently used for semantic technologies, especially the semantic web.
  F-логика была первоначально разработана для дедуктивных баз данных, но теперь чаще используется для семантических технологий, особенно для Semantic Web.
• 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.
  В отличие от формализма дескриптивной онтологии, семантика F-логики совместима с гипотезой замкнутого мира.
• 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.
  F-логику рассматривают как один из формализмов для онтологий, хотя дескриптивная логика более популярна и принята как основная для языка онтологий OWL.