Anagrammen & Informatie over | Engels woord ASSERTIONAL

Voorbeelden van het gebruik van ASSERTIONAL in een zin

• Hybrid logic is also closely connected to description logic because the use of nominals allows one to perform assertional ABox reasoning, as well as the more standard terminological TBox reasoning.
• The following semantics use assertional theories:Cumulative default logicCommitment to assumptions default logicQuasi-default logic; Weak extensions : rather than checking whether the preconditions are valid in the theory composed of the background theory and the consequences of the applied defaults, the preconditions are checked for validity in the extension that will be generated; in other words, the algorithm for generating extensions starts by guessing a theory and using it in place of the background theory; what results from the process of extension generation is actually an extension only if it is equivalent to the theory guessed at the beginning.
• Ontology engineering is the design and creation of such ontologies, which can contain more than just the list of terms (controlled vocabulary); they contain terminological, assertional, and relational axioms to define concepts (classes), individuals, and roles (properties) (TBox, ABox, and RBox, respectively).

Paginavoorbereiding duurde: 344,32 ms.