abstract syntax^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/AbstractSyntax

has super-classes

abstract syntax

expression^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/Expression

has super-classes

serialized machinable knowledge expression

knowledge serialization^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/API4KP/KR/KnowledgeSerialization

has super-classes

defined concept

has sub-classes

serialization^c

logic^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/Logic

has super-classes

defined concept

native o m s^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/NativeOMS

has super-classes

native machinable knowledge resource

o m s^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/OMS

has super-classes

abstract expression

o m s language^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/OMSLanguage

has super-classes

knowledge representation and reasoning language

specified by some abstract syntax^c

query^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/Query

is equivalent to

(uses language^op some query language) and (uses language^op only query language)

serialization^c back to ToC or Class ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/Serialization

has super-classes

knowledge serialization^c

is serialized in^op back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/isSerializedIn

serializes^op back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/serializes

supports serialization^op back to ToC or Object Property ToC

IRI: http://www.omg.org/spec/DOL/DOL-terms/supportsSerialization