This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:dl_intro [2013/11/03 14:08] ikaf [Semantic Web] |
hekate:dl_intro [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 31: | Line 31: | ||
| * the way to do it is to present information in some standarized formats (markup languages) and give the means to reason about it | * the way to do it is to present information in some standarized formats (markup languages) and give the means to reason about it | ||
| * ++ the world wide research began... | e.g., just to start with: [[http://www.w3.org/2001/sw/|W3C Semantic Web Activity Website]] ++ | * ++ the world wide research began... | e.g., just to start with: [[http://www.w3.org/2001/sw/|W3C Semantic Web Activity Website]] ++ | ||
| - | + | ||
| ===== Semantic Web Layer Cake(s) ===== | ===== Semantic Web Layer Cake(s) ===== | ||
| {{ :hekate:semweb:sw_layer_cakes.png |sw layer cakes}} | {{ :hekate:semweb:sw_layer_cakes.png |sw layer cakes}} | ||
| 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. | ||
