Changes between Version 3 and Version 4 of SigMmtTemplateAxioms

Timestamp:

04/21/09 14:03:03 (15 years ago)

Author:

jowik (IP: 193.212.132.34)

Comment:

--

SigMmtTemplateAxioms

@@ -1 +1 @@
 = Verifying template rules using the Prover9 first-order reasoner =
 
-''This page is just a rough draft, but the example case works, so it makes sense to make it available here so people can experiment.''
+''This page to be updated, to reflect current ISO 15926-7 TS draft.''
 
 Preparation: Get hold of [http://www.cs.unm.edu/~mccune/prover9/ Prover9].
@@ -40 +40 @@
 eTriple(x,y,z) & c(x,u) -> ec(y,z,u) .
 }}}
-The good news is, these simple axioms can be expressed in SWRL (i.e., at least if we allow ourselves the use of the Protégé [http://protege.cim3.net/cgi-bin/wiki.pl?SWRLExtensionsBuiltIns swrlx] extension implemented for the Protégé SWRLTab, `makeOWLThing`).