Edit Positive Entailment Test: Disjoint Props via Disjoint Domains

From OWL Test Cases

Jump to:navigation, search

Warning: You are not logged in. Your IP address will be recorded in this page's edit history.

Describe your test case using the form below. Advanced fields are optional, but filling in as many details as possible supports the approval by the working group. Note that all submitted test cases are subject to this site's licensing conditions. Do not submit copyrighted material.

Basics
Advanced properties
Imported ontlogies

Premise ontology (using above syntax)
	Please avoid special symbols and mark-up in all inputs. Start XML-comments with "`<!--`", write "`\|`" instead of "\|", double escape entities that should be preserved in XML, e.g. write "`&lt;`" for "`<`". Most other uses of <, &, and > do not need any escaping.
Description	Two properties having disjoint domains are necessarily disjoint themselves.
Author	Name of original test case author; use commas to separate multiple authors.
Syntax	RDF/XML OWL/XML Functional syntax
Prefix( : = <http://example.org/> ) Ontology( Declaration( Class( :Boy ) ) Declaration( Class( :Girl ) ) Declaration(ObjectProperty(:sonOf)) Declaration(ObjectProperty(:daughterOf)) DisjointClasses( :Boy :Girl ) ObjectPropertyDomain(:sonOf :Boy) ObjectPropertyDomain(:daughterOf :Girl) )
Conclusion ontology (using above syntax)
Prefix( : = <http://example.org/> ) Ontology( Declaration(ObjectProperty(:sonOf)) Declaration(ObjectProperty(:daughterOf)) DisjointObjectProperties( :sonOf :daughterOf ) )

Cancel

Note: If you are not logged in, you will be asked to solve a simple captcha before the change is saved.

Edit Positive Entailment Test: Disjoint Props via Disjoint Domains

From OWL Test Cases

Personal tools

Namespaces

Variants

Views

Actions

Search

Navigation

OWL 2 Informative

OWL 2 Normative

Toolbox