OWL 2 EL

E163073

OWL 2 EL is a lightweight profile of the Web Ontology Language designed for efficient reasoning over large-scale ontologies, particularly in domains like biomedical terminologies.

All labels observed (1)

Label Occurrences
OWL 2 EL canonical 4

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf OWL 2 profile
description logic fragment
lightweight ontology language
basedOn EL family of description logics
contrastedWith OWL 2 DL
OWL 2 QL
OWL 2 RL
designedFor efficient reasoning
large-scale ontologies
polynomial-time reasoning
hasComplexity polynomial time for standard reasoning tasks
hasFeature polynomial-time classification
polynomial-time subsumption checking
support for class axioms
support for conjunction of classes
support for domain and range restrictions
support for existential restrictions
support for large TBoxes
support for property axioms
support for reflexive roles
support for role hierarchies
support for transitive roles
tractable reasoning
hasLimitation limited support for cardinality constraints
no complex role inclusion with cycles that break tractability
no disjunction of classes
no full negation of classes
no universal quantification over roles
hasProfileName EL
hasSyntax OWL 2 Manchester syntax
OWL 2 RDF/XML syntax
OWL 2 functional-style syntax
optimizationGoal performance on large ontologies
scalability
partOf OWL 2 Web Ontology Language
surface form: OWL 2
partOfStandard OWL 2 Web Ontology Language
surface form: OWL 2 Web Ontology Language Profiles (Second Edition)
standardizedBy World Wide Web Consortium
surface form: W3C
supportsReasoningTask classification
consistency checking
realization
subsumption
typicalUseCase anatomical ontologies
biomedical terminologies
life sciences ontologies
medical ontologies
usedIn Gene Ontology (GO)
SNOMED CT
surface form: SNOMED CT ontology

large biomedical terminologies

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

OWL Full contrastsWith OWL 2 EL
OWL 2 QL contrastedWith OWL 2 EL
OWL 2 recommendation defines OWL 2 EL
OWL 2 RL contrastedWith OWL 2 EL