Changes between Version 3 and Version 4 of SigMmtTemplateAxioms

Show
Ignore:
Timestamp:
04/21/09 14:03:03 (11 years ago)
Author:
jowik (IP: 193.212.132.34)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmtTemplateAxioms

    v3 v4  
    11= Verifying template rules using the Prover9 first-order reasoner = 
    22 
    3 ''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.'' 
     3''This page to be updated, to reflect current ISO 15926-7 TS draft.'' 
    44 
    55Preparation: Get hold of [http://www.cs.unm.edu/~mccune/prover9/ Prover9]. 
     
    4040eTriple(x,y,z) & c(x,u) -> ec(y,z,u) . 
    4141}}} 
    42 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`). 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search