Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:dl_intro [2010/01/07 21:38] ikaf |
hekate:dl_intro [2019/06/27 15:49] (current) |
~~SLIDESHOW~~ | ~~SLIDESHOW~~ |
~~ODT~~ | ~~ODT~~ |
| |
* ++No transitive, inverse or symmetrical properties|Can’t say that isPartOf is a transitive property, that //hasPart// is the inverse of //isPartOf// or that //touches// is symmetrical++ | * ++No transitive, inverse or symmetrical properties|Can’t say that isPartOf is a transitive property, that //hasPart// is the inverse of //isPartOf// or that //touches// is symmetrical++ |
* Difficult to provide reasoning support | * Difficult to provide reasoning support |
* ++non-standard semantics| [[http://student.agh.edu.pl/~ikaf/wiki/lib/exe/detail.php?id=semantic_web%3Ardf_s&cache=cache&media=semantic_web:rdf_rdfs_weird_semantics.jpg|see a scheme ]] 8-)++ | * non-standard semantics |
* [[http://www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/introduction.ppt|learn more...]] | * [[http://www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/introduction.ppt|learn more...]] |
| |
* <latex> cat(Tibbs)</latex> Tibbs is a cat | * <latex> cat(Tibbs)</latex> Tibbs is a cat |
* role assertions e.g. | * role assertions e.g. |
* <latex> has\_pet(Fred, Tibbs)</latex> - Fred has a pet which is Tibbs | * <latex> has\_pet(Fred, Tibbs) </latex> - Fred has a pet which is Tibbs |
* statements about concepts | * statements about concepts |
* concept definitions (__necessary and sufficient__ conditions) e.g. | * concept definitions (__necessary and sufficient__ conditions) e.g. |
|An animal lover **has minimun 3 pets** | <latex> \geq nP </latex> | <latex> \exists^{\geq n}y.P(x,y)</latex> | <latex> card(P) \geq n </latex> | | |An animal lover **has minimun 3 pets** | <latex> \geq nP </latex> | <latex> \exists^{\geq n}y.P(x,y)</latex> | <latex> card(P) \geq n </latex> | |
|A kid **is the same as** a young person |<latex> C \equiv D </latex> | <latex> \forall x.C(x) \leftrightarrow D(x) </latex> | <latex> C \equiv D </latex> | | |A kid **is the same as** a young person |<latex> C \equiv D </latex> | <latex> \forall x.C(x) \leftrightarrow D(x) </latex> | <latex> C \equiv D </latex> | |
|**Every cat is an animal** | <latex> C \sqsubseteq D </latex> | <latex> \forall x.C(x) \rightarrow D(x) </latex> | <latex> C \subseteq D </latex> | | |**Every cat is an animal** | <latex> C \sqsubseteq D </latex> | <latex> \forall x.C(x) \rightarrow D(x) </latex> | <latex> C \subseteq D </latex> | |
| |
| |