From OWL Test Cases

Jump to:navigation, search

[Edit query] | Show embed code


Previous     Results 1– 11    Next        (20 | 50 | 100)
author description
New-Feature-AsymmetricProperty-001 Mike Smith Demonstrates use of an asymmetric object property axiom to cause a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document.
New-Feature-DisjointObjectProperties-001 Mike Smith Demonstrates use of a disjoint object properties axiom to infer that two individuals are different based on the example in the Structural Specification and Functional-Style Syntax document.
New-Feature-DisjointObjectProperties-002 Mike Smith A modification of test New-Feature-DisjointObjectProperties-001 to demonstrate a ternary disjoint object properties axiom.
New-Feature-IrreflexiveProperty-001 Mike Smith Demonstrates use of an irreflexive object property axiom to cause a trivial inconsistency based on the example in the Structural Specification and Functional-Style Syntax document.
New-Feature-NegativeObjectPropertyAssertion-001 Mike Smith Demonstrates use of a negative object property assertion to create a trivial inconsistency based on an example in the Structural Specification and Functional-Style Syntax document.
New-Feature-ObjectPropertyChain-001 Mike Smith Demonstrates an object property chain in a subproperty axiom based on the example in the Structural Specification and Functional-Style Syntax document.
New-Feature-ObjectQCR-001 Mike Smith Demonstrates a qualified minimum cardinality object property restriction based on example in the Structural Specification and Functional-Style Syntax document.
New-Feature-ObjectQCR-002 Mike Smith Demonstrates a qualified maximum cardinality object property restriction adapted from example in the Structural Specification and Functional-Style Syntax document.
New-Feature-ReflexiveProperty-001 Mike Smith Uses a reflexive object property axiom to infer a property value based on the example in the Structural Specification and Functional-Style Syntax document.
New-Feature-SelfRestriction-001 Mike Smith Demonstrates use of a self-restriction to infer a property value based on example in the Structural Specification and Functional-Style Syntax document.
New-Feature-SelfRestriction-002 Mike Smith Demonstrates use of an object property assertion to infer membership in a self restriction based on example in the Structural Specification and Functional-Style Syntax document.
Previous     Results 1– 11    Next        (20 | 50 | 100)
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox