This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
hekate:dl_intro [2009/12/02 19:06] gjn Document moved from hekate:semweb:dl_intro |
hekate:dl_intro [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ~~SLIDESHOW~~ | + | ~~SLIDESHOW~~ |
| ~~ODT~~ | ~~ODT~~ | ||
| Line 5: | Line 5: | ||
| ====== Description Logics and OWL in the Semantic Web ====== | ====== Description Logics and OWL in the Semantic Web ====== | ||
| - | Weronika T. Furmańska <wtf@agh.edu.pl> | + | Weronika T. Furmańska <wtf@agh.edu.pl>, Grzegorz J. Nalepa <gjn@agh.edu.pl> |
| \\ \\ \\ | \\ \\ \\ | ||
| - | {{sw-rubik.png?120x120 |SW logo}} {{ dl-small.gif?130x120|DL logo}} | + | {{:hekate:semweb:sw-rubik.png?120x120 |SW logo}} {{ :hekate:semweb:dl-small.gif?130x120|DL logo}} |
| ===== Outline ===== | ===== Outline ===== | ||
| Line 33: | Line 33: | ||
| ===== Semantic Web Layer Cake(s) ===== | ===== Semantic Web Layer Cake(s) ===== | ||
| - | {{ sw_layer_cakes.png |sw layer cakes}} | + | {{ :hekate:semweb:sw_layer_cakes.png |sw layer cakes}} |
| * web content encoded in [[wp>Unicode]], resources identified by [[wp>URI]] | * web content encoded in [[wp>Unicode]], resources identified by [[wp>URI]] | ||
| * the structure provided by -> [[http://www.w3schools.com/Xml/|XML]] tags | * the structure provided by -> [[http://www.w3schools.com/Xml/|XML]] tags | ||
| Line 69: | Line 69: | ||
| * ++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...]] | ||
| Line 124: | Line 124: | ||
| * links -> describe relationships among concepts | * links -> describe relationships among concepts | ||
| - | {{ dl_pp_repr.png?500 |semantic network example}} | + | {{ :hekate:semweb:dl_pp_repr.png?500 |semantic network example}} |
| * Semantic networks were not equipped with formal logic-based semantics. | * Semantic networks were not equipped with formal logic-based semantics. | ||
| Line 135: | Line 135: | ||
| * <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. | ||
| Line 154: | Line 154: | ||
| * TBox - terminology, intensional representation | * TBox - terminology, intensional representation | ||
| * ABox - assertions about individuals, extensional representation | * ABox - assertions about individuals, extensional representation | ||
| - | {{ dl_krs.png?500 |KRS}} | + | {{ :hekate:semweb:dl_krs.png?500 |KRS}} |
| Line 177: | Line 177: | ||
| |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> | |
| Line 632: | Line 632: | ||
| \\ | \\ | ||
| \\ | \\ | ||
| - | {{sw-rubik.png?120x120 |SW logo}} {{ dl-small.gif?130x120|DL logo}} | + | {{:hekate:semweb:sw-rubik.png?120x120 |SW logo}} {{ :hekate:semweb:dl-small.gif?130x120|DL logo}} |
