MediaWiki:Smw import test

From OWL
Revision as of 16:37, 9 December 2008 by Markus Krötzsch (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

http://www.w3.org/2007/OWL/testOntology#%7CTest case ontology

TestCase|Category
PositiveEntailmentTest|Category
NegativeEntailmentTest|Category
ConsistencyTest|Category
InconsistencyTest|Category
ProfileIdentificationTest|Category
inputOntology|Type:Code
premiseOntology|Type:Code
conclusionOntology|Type:Code
nonConclusionOntology|Type:Code
fsInputOntology|Type:Code
fsPremiseOntology|Type:Code
fsConclusionOntology|Type:Code
fsNonConclusionOntology|Type:Code
owlXmlInputOntology|Type:Code
owlXmlPremiseOntology|Type:Code
owlXmlConclusionOntology|Type:Code
owlXmlNonConclusionOntology|Type:Code
rdfXmlInputOntology|Type:Code
rdfXmlPremiseOntology|Type:Code
rdfXmlConclusionOntology|Type:Code
rdfXmlNonConclusionOntology|Type:Code
QL|
EL|
RL|
FUNCTIONAL|
OWLXML|
RDFXML|
FULL|
DL|
Proposed|
Approved|
Rejected| 
alternativeSemanticsTest|Type:Page
creator|Type:String
description|Type:Text
identifier|Type:String
importedOntology|Type:Page
importedOntologyIRI|Type:URL
issue|Type:URL
normativeSyntax|Type:Page
profile|Type:Page
semantics|Type:Page
status|Type:Page
species|Type:Page
specRef|Type:URL