Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
hekate:dl_intro [2010/04/22 13:22]
ikaf scheme removed
hekate:dl_intro [2019/06/27 15:49] (current)
Line 1: Line 1:
-~~SLIDESHOW~~+ ~~SLIDESHOW~~
 ~~ODT~~ ~~ODT~~
  
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 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>​ |
  
  
hekate/dl_intro.1271935339.txt.gz · Last modified: 2019/06/27 16:00 (external edit)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0