Rules & Ontologies OWL 2 RL & SWRL Description Logic ... - LPIS
Rules & Ontologies OWL 2 RL & SWRL Description Logic ... - LPIS
Rules & Ontologies OWL 2 RL & SWRL Description Logic ... - LPIS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Allowed <strong>OWL</strong> constructors• Class and property equivalence• Equality- inequality between individuals• Inverse, transitive, symmetric and functionalproperties• Intersection of classes• Excluded constructors– Union, existential quantification, and arbitrarycardinality constraints4-13<strong>Rules</strong> & <strong>Ontologies</strong>A Semantic Web Primer, 3rd EditionSimple RDF constructs• A triple (a, P, b) is expressed as a fact P(a, b)• An instance declaration type(a,C),– a is an instance of class C– expressed as C(a)• C is a subclass of DC(X) → D(X)• Similarly for subpropertyP(X,Y) → Q(X,Y)4-14<strong>Rules</strong> & <strong>Ontologies</strong>A Semantic Web Primer, 3rd EditionMore RDF Constructs• Domain and Range Restrictions– C is the domain of property PP(X, Y) → C(X)– C’ is the range of property PP(X, Y) → C’(Y) C(Y)<strong>OWL</strong> Constructs• equivalentClass(C,D)– pair of rulesC(X) → D(X)D(X) → C(X)• Similarly for equivalentProperty(P,Q)P(X,Y) → Q(X,Y)Q(X,Y) → P(X,Y)4-15<strong>Rules</strong> & <strong>Ontologies</strong>A Semantic Web Primer, 3rd Edition4-16<strong>Rules</strong> & <strong>Ontologies</strong>A Semantic Web Primer, 3rd Edition4