INDEX

記述論理の事例{dl}

1) SHIF(D)
2) SHION(D)
IMPLEMENTORS' NOTE: OWL Lite and OWL DL closely correspond to the description logics known as SHIF{D} and SHION{D}, with some limitation on how datatypes are treated. The abstract syntax for OWL Lite doesn't contain many of the common explicit constructors associated with SHIF{D}, but the expressivity remains.