Class: DescriptionLogicOntology

•owl:Thing
        •Ontology
                •DescriptionLogicOntology

Equivalent Classes (Necessary and Sufficient Conditions)

Ontology
hasExpressivity SOME DescriptionLogic

Abstract Syntax

Class(DescriptionLogicOntology complete Ontology
                                       restriction(hasExpressivity someValuesFrom(DescriptionLogic)))

Usage

Class Description/Definition (Necessary Conditions)

DescriptionLogicOntology, OpenGalen, OWLOntology
Generated with OWLDoc