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