a notation3 grammar in XML formal grammar notation / EBNF
can't reproduce log:supports results
check.py
colons on N3
cwm and redland
inferenceweb browser and cwm interoperating
inferenceweb browser and cwm interoperating (euler too!)
kb Scoped Negation As Failure
log:supports, log:implies, and conditional proof
lost with the existencial variables
N3 and Turtle grammars
N3 Sintax
Notation 3 Logic
owl:import
playing around with N3, OWL, and inconsistency
proof language tests with r:binding - question wrt existentials
RDF 2 OWL
reason proof ontology details [was: ... interoperating]
struggling to understand the cwm/N3/reasons proof checking algorithm
Last message date: Tuesday, 20 June 2006 16:28:15 UTC