Constructors

Logic profile EL SNOMED CT

Logic profile EL OWL2

Entities, literal and anonymous

- Class

- ObjectProperty

- DataProperty

- Datatype

- Literal

- AnnotationProperty

- Class

- ObjectProperty

- DataProperty

- Datatype

- Literal

- AnnotationProperty

- DataRange

- Individual

- NamedIndividual

- AnonymousIndividual

Data types

- xsd:decimal

- xsd:integer

- xsd:string

- xsd:dateTime

- rdf:PlainLiteral

- rdf:XMLLiteral

- rdfs:Literal

- owl:real

- owl:rational

- xsd:decimal

- xsd:integer

- xsd:nonNegativeInteger

- xsd:string

- xsd:normalizedString

- xsd:token

- xsd:Name

- xsd:NCName

- xsd:NMTOKEN

- xsd:hexBinary

- xsd:base64Binary

- xsd:anyURI

- xsd:dateTime

- xsd:dateTimeStamp

Class restriction

- existential quantification to a class expression (ObjectSomeValuesFrom)

- intersection of classes (ObjectIntersectionOf)

- existential quantification to a literal (DataHasValue)

- existential quantification to a class expression (ObjectSomeValuesFrom)

- existential quantification to a data range (DataSomeValuesFrom)

- existential quantification to an individual (ObjectHasValue)

- existential quantification to a literal (DataHasValue)

- universal quantification to a class expression (ObjectAllValuesFrom)

- universal quantification to a range of data (DataAllValuesFrom)

- cardinality restrictions (ObjectMaxCardinality, ObjectMinCardinality, ObjectExactCardinality, DataMaxCardinality, DataMinCardinality, and DataExactCardinality)

- self-restriction (ObjectHasSelf)

- enumerations involving a single individual (ObjectOneOf)

- enumerations involving a single literal (DataOneOf)

- intersection of classes (ObjectIntersectionOf)

- intersection of data ranges (DataIntersectionOf)

Class expressions

- class inclusion (SubClassOf)

- class equivalence (EquivalentClasses)

- inclusion of object properties (SubObjectPropertyOf)

- inclusion of data properties (SubDataPropertyOf)

- class disjunction (DisjointClasses)

- property equivalence (EquivalentObjectProperties and EquivalentDataProperties)

- properties of the transitive object (TransitiveObjectProperty)

- reflexive object properties (ReflexiveObjectProperty)

- class inclusion (SubClassOf)

- class equivalence (EquivalentClasses)

- inclusion of object properties (SubObjectPropertyOf)

- inclusion of data properties (SubDataPropertyOf)

- class disjunction (DisjointClasses)

- property equivalence (EquivalentObjectProperties and EquivalentDataProperties)

- properties of the transitive object (TransitiveObjectProperty)

- reflexive object properties (ReflexiveObjectProperty)

- domain restrictions (ObjectPropertyDomain and DataPropertyDomain)

- range restrictions (ObjectPropertyRange and DataPropertyRange)

- assertions (SameIndividual, DifferentIndividuals, ClassAssertion, ObjectPropertyAssertion, DataPropertyAssertion, NegativeObjectPropertyAssertion and NegativeDataPropertyAssertion)

- functional data properties (FunctionalDataProperty)

- keys (HasKey)

- disjunction (ObjectUnionOf, DisjointUnion, and DataUnionOf)

- class negation (ObjectComplementOf)

- disjoint properties (DisjointObjectProperties and DisjointDataProperties)

- irreflexive object properties (IrreflexiveObjectProperty)

- inverse object properties (InverseObjectProperties)