-
*logic
14 KB (2,014 words) - 18:17, 8 February 2014
-
* "it's by logic we prove, it's by intuition we discover"
15 KB (2,140 words) - 12:06, 4 February 2013
-
* [[First Order Logic]]
* [[Description Logic]]
6 KB (900 words) - 20:07, 2 May 2014
-
* Reasoning: Logic and its Limits
589 B (70 words) - 20:57, 4 November 2013
-
// some logic
24 KB (3,869 words) - 10:15, 2 January 2014
-
* a [[First Order Logic]] expression without negations and disjunctions
[[First Order Logic]]
9 KB (1,440 words) - 15:35, 23 November 2015
-
[[Descriptive Logic]]
* there's a strong link between RDF and logic
5 KB (796 words) - 23:51, 6 May 2014
-
** [[First Order Logic]]
12 KB (1,648 words) - 20:46, 2 May 2014
-
[[First Order Logic|FOL]] Semantics of this mapping
5 KB (739 words) - 15:47, 23 November 2015
-
[[First Order Logic|FOL]] Semantics:
3 KB (479 words) - 15:48, 23 November 2015
-
** $\text{FOL}(M_3)$ logical meaning of $M_3$ (in the [[First Order Logic]] form)
9 KB (1,382 words) - 16:10, 23 November 2015
-
* done by using [[First Order Logic]] function - [[Skolem Function]]
For $V_1$, [[First Order Logic|FOL]] meaning is
10 KB (1,735 words) - 16:11, 23 November 2015
-
* For this query, [[First Order Logic|FOL]] meaning is
[[Category:Logic]]
1 KB (242 words) - 15:39, 23 November 2015
-
* Tbox in [[Descriptive Logic]] as the formal foundation for inferencing
* [[First Order Logic]]
2 KB (241 words) - 15:39, 23 November 2015
-
== First Order Logic ==
First Order Logic (FOL)
890 B (116 words) - 23:38, 6 May 2014
-
== Descriptive Logic ==
Descriptive Logic (DL)
5 KB (664 words) - 23:40, 6 May 2014
-
** RDFS statements can be interpreted as [[First Order Logic|FOL]] statements
** for logical semantics behind there expressions see [[Semantic Web Logic]]
6 KB (856 words) - 23:41, 6 May 2014
-
* for logical semantics behind there expressions see [[Semantic Web Logic]]
7 KB (1,037 words) - 23:43, 6 May 2014
-
* OWL-DL - [[Descriptive Logic]]
* for logical semantics behind there expressions see [[Semantic Web Logic]]
9 KB (1,276 words) - 23:45, 6 May 2014
-
...RDFS and OWL can be translated to [[First Order Logic]] and [[Descriptive Logic]] to facilitate inferencing
3 KB (437 words) - 23:45, 6 May 2014