Create the page "Logic" on this wiki! See also the search results found.
Page title matches
Page text matches
-
* [[First Order Logic|FOL]] give formal definitions of RDFS and OWL statements
* [[Descriptive Logic|DL]] is a subset of FOL where many interesting properties are decidable
3 KB (531 words) - 23:50, 6 May 2014
-
...pabilities during query answering, since it's based on [[First Order Logic|Logic]]
* it can be translated to [[First Order Logic]] expression and [[Conjunctive Query|Conjunctive Queries]]
8 KB (1,244 words) - 15:43, 23 November 2015
-
* Conditional logic (if, else, etc)
1 KB (158 words) - 13:37, 23 November 2015