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 (2)

Label Occurrences
OWL 2 EL canonical 7
OWL 2 EL profile 1

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 ⓘ
partOfStandard OWL 2 Web Ontology Language Profiles (Second Edition) ⓘ
standardizedBy W3C ⓘ
supportsReasoningTask classification ⓘ
consistency checking ⓘ
realization ⓘ
subsumption ⓘ
typicalUseCase anatomical ontologies ⓘ
biomedical terminologies ⓘ
life sciences ontologies ⓘ
medical ontologies ⓘ
usedIn Gene Ontology (GO) ⓘ
SNOMED CT ontology ⓘ
linked to: SNOMED CT

large biomedical terminologies ⓘ

How these facts were elicited

Referenced by (8)

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 ⓘ
OWL Lite → influenced → OWL 2 EL profile ⓘ
linked to: OWL 2 EL
OWL 2 Full → differsFrom → OWL 2 EL ⓘ