Thanks to visit codestin.com
Credit goes to www.scribd.com

Scribd
Upload
21 views37 pages

Ontologies and The Semantic Web Ain Shams University

The document discusses the different roles, properties, and constructs that can be defined in the Web Ontology Language (OWL). It outlines object properties, datatype properties, transitive properties, functional properties, inverse functional properties, symmetric properties, asymmetric properties, reflexive properties, irreflexive properties, inverse properties, equivalent properties, property and class hierarchies, disjointness, negative property assertions, property chaining, OWL classes, class construction using logical operators, restrictions, and cardinality restrictions.

Uploaded by

Habiba Yasser
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
21 views37 pages

Ontologies and The Semantic Web Ain Shams University

The document discusses the different roles, properties, and constructs that can be defined in the Web Ontology Language (OWL). It outlines object properties, datatype properties, transitive properties, functional properties, inverse functional properties, symmetric properties, asymmetric properties, reflexive properties, irreflexive properties, inverse properties, equivalent properties, property and class hierarchies, disjointness, negative property assertions, property chaining, OWL classes, class construction using logical operators, restrictions, and cardinality restrictions.

Uploaded by

Habiba Yasser
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 37

RDF

And RDFS
Sparql
SQL
Serialization
FOL &
DL
OWL
Owl Roles:

Object Property:

: reads a owl:ObjectProperty ;

rdfs:domain :Person;

rdfs:Range :Book .

Datatype Property:

:discoveredIn a owl:DatatypeProperty ;

rdfs:domain owl:Thing ;

rdfs:range xsd:date .

Owl Properties:

Transitive: a owl:TransitiveProperty ;

Kol wa7ed men el shemal 3ando unique wa7ed bas men el ymeen: a owl:FunctionalProperty;

Kol unique value men el ymeen 3ando wa7ed bas men el shmal: a owl:InverseFunctionalProperty;

Symmetric: a owl:SymmetricProperty;

Asymmetric: a owl:AsymmetricProperty;

Reflexive: owl:ReflexiveProperty;

irreflexive: owl:IrreflexiveProperty;

3aks 3ekas: a owl:inverseOf;

Identical: a owl:equivalentProperty;

Properties Hierarchy: rdfs:subPropertyOf;

Class Hierarchies: rdfs:subClassOf;

Disjointness: owl:propertyDisjointWith;

[] rdf:type owl:AllDisjointProperties ;

owl:members

( :hasParent

:hasChild

:hasGrandchild ) .
Negative:

[] rdf:type owl:NegativePropertyAssertion ;

owl:sourceIndividual :GeorgeOrwell ;

owl:assertionProperty :isBrother ;

owl:targetIndividual :AldousHuxley .

Chaining:

:hasFriendsFoe a owl:ObjectProperty ;

owl:propertyChainAxiom ( :hasFriend :hasFoe ) .

Owl Classes:

owl:Thing

owl:Nothing

owl:Class

owl:NamedIndividual

Owl Class Construction:

Logical Or (disjunction): owl:unionOf

Logical And (conjunction): owl:intersectionOf

Logical Negation: owl:complementOf

Identical individuals: owl:sameAs

Different Instances: owl:differentFrom

Equivilance: (Subclasses of each other) (identical Classes)

owl:equivalentClass :Researcher .

All Classes:

owl:oneOf

( :JosephFourier

:Jan_Baptist_van_Helmont

:JosephBlack ) .
Owl Restriction:

:Ahmws a owl:Class;

rdfs:subClassOf [

a owl:Restriction ;

owl:onProperty :A Property ;

:AnyRestriction :AnyValue] .

An Owl Class takes an Owl Restriction which is a necessary condition of the class.

Restrictions always has an owl:onProperty tag which specifies which property the condition applies
to and the relations can be one of the following:

owl:someValuesFrom (Takes list or one class)

owl:allValuesFrom (Takes list or one class)

owl:oneOf (takes list)

owl:hasValue (at least one with certain value)

owl:onClass (this class only)

owl:qualifiedCardinality (exact number)

owl:minQualifiedCardinality (at least)

owl:maxQualifiedCardinality (at Most)

owl:cardinality (exact number)

owl:minCardinality (at least)

owl:maxCardinality (at Most)

owl:hasSelf (this is a reflexive property, takes boolean

You might also like