Summary Lec - 5
Summary Lec - 5
- The first level above RDF for the Semantic Web is an ontology
language(owl)
- An ontology is consisting of :
- A vocabulary(set of words) used to describe some domain
- specification of the intended meaning of the vocabulary
- a set of Constraints about the domain
- OWL Lite:
OWL Lite is the simplest sub-language of OWL, designed for scenarios
where only a basic class hierarchy and simple constraints are necessary.
- OWL Full:
OWL Full is the sub-language of OWL that offers maximum
expressiveness and unrestricted use of RDF constructs, and It provides
users with the freedom to treat classes as individuals.
- XMl => Rdf => RDFS => OWL lite => owl description logic => owl full
- dublin core => RDF
- Vcard RDF => RDF
- FOAF => OWL DL
- SIOC => OWL DL
Datatypes
*************
- represent the range of data values that are identified using URIs
- Are defined in XML Schema definition (xsd) , but you also can create
your own datatype
A functional property : for any member of the domain , it can have at most one
value in the range
ex : onsider a functional property hasEmail. If it's marked as functional,
it ensures that each person can have only one email. So, if person A has
the email address "[email protected]," no other person can have the same
email address
An Inverse functional : for each element in the range , there can only one
corresponding element in the domain
ex : Let's take an inverse functional property like hasPassportNumber. If
marked as inverse functional, it ensures that each passport number
corresponds to only one person. So, if passport number "123456" belongs
to person A, no other person can have the same passport number
Transitive : "x hasProperty y " and "y hasProperty z " => "x hasProperty z "
ex : Consider a transitive property isAncestorOf. If person A is an
ancestor of person B, and person B is an ancestor of person C, then the
transitive property implies that person A is also an ancestor of person C
Asymmetric : "x hasProperty y" then "y hasProperty x" cannot be true as well.
ex : Let's consider an asymmetric property isParentOf. If person A is the
parent of person B, then the asymmetric property implies that person B
cannot be the parent of person A