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 [2013/11/03 14:10]
ikaf [Semantic Web]
hekate:dl_intro [2019/06/27 15:49] (current)
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. 
hekate/dl_intro.txt · Last modified: 2019/06/27 15:49 (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