Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
Next revision
|
Previous revision
Next revision
Both sides next revision
|
hekate:dl_intro [2010/04/22 13:22] ikaf scheme removed |
hekate:dl_intro [2013/11/03 14:10] ikaf [Semantic Web] |
~~SLIDESHOW~~ | ~~SLIDESHOW~~ |
~~ODT~~ | ~~ODT~~ |
| |
|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> | |
| |
| |