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