Warning:
This wiki has been archived and is now read-only.

View source for OWL Combination Vocabulary Separation Inconsistency 1

← OWL Combination Vocabulary Separation Inconsistency 1

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in one of the groups: Users, 106, 38457-chairs.

You can view and copy the source of this page.

{{TestCase
|type=PositiveEntailmentTest
|author=Jos de Bruijn
|status=Approved
|approval=[http://www.w3.org/2005/rules/wg/meeting/2008-09-26#resolution_15 F2F11]
|dialect=Core
|importProfile=OWL-DL
|purpose=Test that violation of separation of the (individual and data value) vocabulary leads to inconsistency
|desc=The same constant cannot be both an individual and a data value; this leads to inconsistency, and thus "a"="b" is entailed.
|seeAlso=[[OWL_Combination_Vocabulary_Separation_Inconsistency_2]]
|specRef=[[SWC#Semantics_of_RIF-OWL_DL_Combinations]]
|iformat=Turtle
|iloc=http://example.org/mygraph
|itext=@prefix ex: <http://example.org/example#> . 
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . 
@prefix owl: <http://www.w3.org/2002/07/owl#> . 

 _:o rdf:type owl:Ontology .
 ex:myiri rdf:type ex:A .
|pformat=[[Presentation Syntax]]
|premise=
 Document(
  Prefix(ex  <http://example.org/example#>)
  Prefix(xs  <http://www.w3.org/2001/XMLSchema#>)
  Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>)

  Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/OWL-Direct>)

  Group (
   ex:myiri[rdf:type -> xs:string]
  )
 )
|cformat=[[Presentation Syntax]]
|conc=
 "a"="b"
}}

Template used on this page:

Template:TestCase (view source)

Return to OWL Combination Vocabulary Separation Inconsistency 1.

Retrieved from "https://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Inconsistency_1"

View source for OWL Combination Vocabulary Separation Inconsistency 1

Navigation menu

Personal tools

Namespaces

Variants

Views

More

RIF Working Group

publications

Tools