WebOnt WG: Test Case Editor

Test feature: no feature allValuesFrom cardinality Class comment complementOf Datatype DatatypeProperty differentIndividualFrom disjointUnionOf disjointWith domain equivalentTo FunctionalProperty hasValue imports intersectionOf InverseFunctionalProperty inverseOf isDefinedBy label Literal maxCardinality minCardinality Nothing ObjectProperty oneOf onProperty Ontology Property range Restriction sameClassAs sameIndividualAs samePropertyAs seeAlso someValuesFrom subClassOf subPropertyOf SymmetricProperty Thing TransitiveProperty type unionOf value versionInfo

Test issue: no issue 1.1 Variables 1.2 Definitional Constraints on Conjunctive Types 2.1 URI naming of instances 2.2 Adding Properties to Other Instances 2.3 Adding Properties to Other Classes 2.4 Enumerated Classes 2.5 Closed Sets 2.6 Ordered Property Values 3.1 Local Restrictions 3.2 Qualified Restrictions 3.3 DisjointFrom 3.4 UnambiguousProperty 4.1 UniqueProp BadName 4.2 Cardinality Constructs Levels 4.3 Structured Datatypes 4.4 Extra-logical feature set 4.5 InverseOf 4.6 EquivalentTo 4.7 Does OWL provide built in 'model checking' functionality 4.8 Trust and Ontology 5.1 Uniform treatment of literal data values 5.2 Language Compliance Levels 5.3 Semantic Layering 5.4 OWL:QUOTE 5.5 List syntax or semantics 5.7 Range restrictions should not be separate URIs 5.8 Datatypes 5.9 Malformed DAML+OIL Restrictions 5.10 DAML+OIL semantics is too weak 5.11 hasClass ToClass names 5.12 Entailing inconsistencies 5.13 Internet Media Type for OWL 5.14 Ontology versioning 5.15 Feature decision for CL1 local range 5.16 Feature decision for CL1 cardinality 5.17 XML presentation syntax

Test number: 001 002 003 004 005 006 007 008 009 010 011 012 013 014 015 016 017 018 019 020

To edit an existing test, select it and then press here.

Test author: select your name, if listed Jeremy J. Carroll Dan Connolly Peter F. Patel-Schneider

Test author (unlisted - first time):

Approval - enter URL of minutes:

Test type: NotOwlFeatureTest PositiveEntailmentTest NegativeEntailmentTest ConsistencyTest InconsistencyTest MiscellaneousTest

After selecting the test type, you can intialize a new test with useful boiler plate.

Test Description:
If prop is an owl:InverseFunctionalProperty, and a resource has prop arcs pointing from two different URIrefs, then those two URIrefs denote the same resource.

Premise/consistent/inconsistent/illegal file:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xmlns:this="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/premises001" > <owl:InverseFunctionalProperty rdf:ID="prop"/> <rdf:Description rdf:ID="subject1"> <this:prop rdf:resource="#object" /> </rdf:Description> <rdf:Description rdf:ID="subject2"> <this:prop rdf:resource="#object" /> </rdf:Description> </rdf:RDF>

Premise/consistent/inconsistent/illegal file:
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl ="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/InverseFunctionalProperty/conclusions001" > <rdf:Description rdf:about="premises001#subject1"> <owl:sameIndividualAs rdf:resource="premises001#subject2" /> </rdf:Description> </rdf:RDF>

Please either: