specialization.owl

http://www.ontologydesignpatterns.org/cp/owl/specialization.owl

version info: 0.1: Created by Aldo Gangemi 0.2: Added object property 'requires'
1.1 added rdfs:isDefinedBy for all named entities
imports: http://www.ontologydesignpatterns.org/cp/owl/classification.owl (visualise it with LODE)
extracted from: http://www.ontologydesignpatterns.org/ont/dul/DUL.owl
Other visualisation: WebVOWL Source

Export: Turtle RDF/XML JSON-LD N-Triples

Classes 1
Object Properties 4
Annotation Properties 5
Namespace Declarations 32

Classes 1

Jump to:

class

class
^c

back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept

is in domain of

is required by^op,

is specialized by^op,

requires^op,

specializes^op

is in range of

is required by^op,

is specialized by^op,

requires^op,

specializes^op

@prefix classification: <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    classification:Concept a owl:Class .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept",
        "@type": [
          "http://www.w3.org/2002/07/owl#Class"
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

Object Properties 4

Jump to:

is required by is specialized by requires specializes

is required by
^op

back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isRequiredBy

label

is required by

^en

@prefix : <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#> .
@prefix classification: <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    :isRequiredBy a owl:ObjectProperty ;
        rdfs:label "is required by"@en ;
        rdfs:domain classification:Concept ;
        rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> ;
        rdfs:range classification:Concept ;
        owl:inverseOf :requires .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isRequiredBy",
        "@type": [
          "http://www.w3.org/2002/07/owl#ObjectProperty"
        ],
        "http://www.w3.org/2000/01/rdf-schema#domain": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#isDefinedBy": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#label": [
          {
            "@language": "en",
            "@value": "is required by"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#range": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept"
          }
        ],
        "http://www.w3.org/2002/07/owl#inverseOf": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires"
          }
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isRequiredBy> <http://www.w3.org/2000/01/rdf-schema#label> "is required by"@en <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isRequiredBy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isRequiredBy> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isRequiredBy> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isRequiredBy> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isRequiredBy> <http://www.w3.org/2002/07/owl#inverseOf> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

is specialized by
^op

back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy

comment

A partial order relation that holds between Concepts. It mainly represents the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation. For example, the role PhDStudent specializes the role Student.

has Characteristics

is transitive

domain

class^c

range

class^c

is defined by

http://www.ontologydesignpatterns.org/cp/owl/specialization.owl

is inverse of

specializes^op

label

is specialized by

^en

@prefix : <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#> .
@prefix classification: <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    :isSpecializedBy a owl:ObjectProperty,
            owl:TransitiveProperty ;
        rdfs:label "is specialized by"@en ;
        rdfs:comment """A partial order relation that holds between Concepts. 
It mainly represents the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation. For example, the role PhDStudent specializes the role Student.""" ;
        rdfs:domain classification:Concept ;
        rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> ;
        rdfs:range classification:Concept ;
        owl:inverseOf :specializes .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy",
        "@type": [
          "http://www.w3.org/2002/07/owl#TransitiveProperty",
          "http://www.w3.org/2002/07/owl#ObjectProperty"
        ],
        "http://www.w3.org/2000/01/rdf-schema#comment": [
          {
            "@value": "A partial order relation that holds between Concepts. \nIt mainly represents the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation. For example, the role PhDStudent specializes the role Student."
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#domain": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#isDefinedBy": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#label": [
          {
            "@language": "en",
            "@value": "is specialized by"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#range": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept"
          }
        ],
        "http://www.w3.org/2002/07/owl#inverseOf": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes"
          }
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#TransitiveProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy> <http://www.w3.org/2002/07/owl#inverseOf> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy> <http://www.w3.org/2000/01/rdf-schema#comment> "A partial order relation that holds between Concepts. \nIt mainly represents the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation. For example, the role PhDStudent specializes the role Student." <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#isSpecializedBy> <http://www.w3.org/2000/01/rdf-schema#label> "is specialized by"@en <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

requires
^op

back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires

comment

A relation that holds between Concepts. Similarly to specializes, it represent the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation. However, it represents the requisite that something classified by the first concept has to be classified by the second as well. For example, a designer might want to say that someone playing the Moderator role should be playing the Attendee role as well. This requisite is not equivalent to say e.g. that playing the Moderator role specializes playing the Mediator role. In this latter case, someone can be said a Mediator because it is a Moderator. On the contrary, in the first case someone is said to be a Moderator firstly because it is an Attendee.

domain

class^c

range

class^c

is defined by

http://www.ontologydesignpatterns.org/cp/owl/specialization.owl

is inverse of

is required by^op

label

requires

^en

@prefix : <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#> .
@prefix classification: <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    :requires a owl:ObjectProperty ;
        rdfs:label "requires"@en ;
        rdfs:comment """A relation that holds between Concepts. 
Similarly to specializes, it represent the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation.
However, it represents the requisite that something classified by the first concept has to be classified by the second as well. For example, a designer might want to say that someone playing the Moderator role should be playing the Attendee role as well. This requisite is not equivalent to say e.g. that playing the Moderator role specializes playing the Mediator role. In this latter case, someone can be said a Mediator because it is a Moderator. On the contrary, in the first case someone is said to be a Moderator firstly because it is an Attendee.""" ;
        rdfs:domain classification:Concept ;
        rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> ;
        rdfs:range classification:Concept .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires",
        "@type": [
          "http://www.w3.org/2002/07/owl#ObjectProperty"
        ],
        "http://www.w3.org/2000/01/rdf-schema#comment": [
          {
            "@value": "A relation that holds between Concepts. \nSimilarly to specializes, it represent the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation.\nHowever, it represents the requisite that something classified by the first concept has to be classified by the second as well. For example, a designer might want to say that someone playing the Moderator role should be playing the Attendee role as well. This requisite is not equivalent to say e.g. that playing the Moderator role specializes playing the Mediator role. In this latter case, someone can be said a Mediator because it is a Moderator. On the contrary, in the first case someone is said to be a Moderator firstly because it is an Attendee."
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#domain": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#isDefinedBy": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#label": [
          {
            "@language": "en",
            "@value": "requires"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#range": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept"
          }
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires> <http://www.w3.org/2000/01/rdf-schema#comment> "A relation that holds between Concepts. \nSimilarly to specializes, it represent the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation.\nHowever, it represents the requisite that something classified by the first concept has to be classified by the second as well. For example, a designer might want to say that someone playing the Moderator role should be playing the Attendee role as well. This requisite is not equivalent to say e.g. that playing the Moderator role specializes playing the Mediator role. In this latter case, someone can be said a Mediator because it is a Moderator. On the contrary, in the first case someone is said to be a Moderator firstly because it is an Attendee." <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires> <http://www.w3.org/2000/01/rdf-schema#label> "requires"@en <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#requires> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

specializes
^op

back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes

comment

has Characteristics

is transitive

domain

class^c

range

class^c

is defined by

http://www.ontologydesignpatterns.org/cp/owl/specialization.owl

is inverse of

is specialized by^op

label

specializes

^en

@prefix : <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#> .
@prefix classification: <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    :specializes a owl:ObjectProperty,
            owl:TransitiveProperty ;
        rdfs:label "specializes"@en ;
        rdfs:comment """A partial order relation that holds between Concepts. 
It mainly represents the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation. For example, the role PhDStudent specializes the role Student.""" ;
        rdfs:domain classification:Concept ;
        rdfs:isDefinedBy <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> ;
        rdfs:range classification:Concept .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes",
        "@type": [
          "http://www.w3.org/2002/07/owl#TransitiveProperty",
          "http://www.w3.org/2002/07/owl#ObjectProperty"
        ],
        "http://www.w3.org/2000/01/rdf-schema#comment": [
          {
            "@value": "A partial order relation that holds between Concepts. \nIt mainly represents the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation. For example, the role PhDStudent specializes the role Student."
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#domain": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#isDefinedBy": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#label": [
          {
            "@language": "en",
            "@value": "specializes"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#range": [
          {
            "@id": "http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept"
          }
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> <http://www.w3.org/2000/01/rdf-schema#label> "specializes"@en <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#TransitiveProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> <http://www.w3.org/2000/01/rdf-schema#comment> "A partial order relation that holds between Concepts. \nIt mainly represents the subsumption relation between e.g. a Concept and another Concept that is broader in extensional interpretation, but narrower in intensional interpretation. For example, the role PhDStudent specializes the role Student." <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.ontologydesignpatterns.org/cp/owl/classification.owl#Concept> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .
<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

Annotation Properties 5

Jump to:

comment extracted from is defined by label version info

comment
^ap

back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#comment

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    rdfs:comment a owl:AnnotationProperty .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.w3.org/2000/01/rdf-schema#comment",
        "@type": [
          "http://www.w3.org/2002/07/owl#AnnotationProperty"
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.w3.org/2000/01/rdf-schema#comment> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AnnotationProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

extracted from
^ap

back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#extractedFrom

@prefix cpannotationschema: <http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    cpannotationschema:extractedFrom a owl:AnnotationProperty .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#extractedFrom",
        "@type": [
          "http://www.w3.org/2002/07/owl#AnnotationProperty"
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#extractedFrom> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AnnotationProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

is defined by
^ap

back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#isDefinedBy

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    rdfs:isDefinedBy a owl:AnnotationProperty .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.w3.org/2000/01/rdf-schema#isDefinedBy",
        "@type": [
          "http://www.w3.org/2002/07/owl#AnnotationProperty"
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AnnotationProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

label
^ap

back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#label

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    rdfs:label a owl:AnnotationProperty .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.w3.org/2000/01/rdf-schema#label",
        "@type": [
          "http://www.w3.org/2002/07/owl#AnnotationProperty"
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.w3.org/2000/01/rdf-schema#label> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AnnotationProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

version info
^ap

back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2002/07/owl#versionInfo

@prefix owl: <http://www.w3.org/2002/07/owl#> .

<http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> {
    owl:versionInfo a owl:AnnotationProperty .
}

[
  {
    "@graph": [
      {
        "@id": "http://www.w3.org/2002/07/owl#versionInfo",
        "@type": [
          "http://www.w3.org/2002/07/owl#AnnotationProperty"
        ]
      }
    ],
    "@id": "http://www.ontologydesignpatterns.org/cp/owl/specialization.owl"
  }
]

<http://www.w3.org/2002/07/owl#versionInfo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AnnotationProperty> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl> .

Namespace Declarations back to ToC

default namespace: http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#
brick: https://brickschema.org/schema/Brick#
classification: http://www.ontologydesignpatterns.org/cp/owl/classification.owl#
cpannotationschema: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#
csvw: http://www.w3.org/ns/csvw#
dc: http://purl.org/dc/elements/1.1/
dcam: http://purl.org/dc/dcam/
dcat: http://www.w3.org/ns/dcat#
dcmitype: http://purl.org/dc/dcmitype/
dcterms: http://purl.org/dc/terms/
doap: http://usefulinc.com/ns/doap#
foaf: http://xmlns.com/foaf/0.1/
geo: http://www.opengis.net/ont/geosparql#
odrl: http://www.w3.org/ns/odrl/2/
org: http://www.w3.org/ns/org#
owl: http://www.w3.org/2002/07/owl#
prof: http://www.w3.org/ns/dx/prof/
prov: http://www.w3.org/ns/prov#
qb: http://purl.org/linked-data/cube#
rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs: http://www.w3.org/2000/01/rdf-schema#
schema: https://schema.org/
sh: http://www.w3.org/ns/shacl#
skos: http://www.w3.org/2004/02/skos/core#
sosa: http://www.w3.org/ns/sosa/
ssn: http://www.w3.org/ns/ssn/
time: http://www.w3.org/2006/time#
vann: http://purl.org/vocab/vann/
void: http://rdfs.org/ns/void#
wgs: https://www.w3.org/2003/01/geo/wgs84_pos#
xml: http://www.w3.org/XML/1998/namespace
xsd: http://www.w3.org/2001/XMLSchema#

specialization.owl

Table of Contents

Classes 1

class c

is in domain of

is in range of

RDF provenance

Object Properties 4

is required by op

domain

range

is defined by

is inverse of

label

RDF provenance

is specialized by op

comment

has Characteristics

domain

range

is defined by

is inverse of

label

RDF provenance

requires op

comment

domain

range

is defined by

is inverse of

label

RDF provenance

specializes op

comment

has Characteristics

domain

range

is defined by

is inverse of

label

RDF provenance

Annotation Properties 5

comment ap

RDF provenance

extracted from ap

RDF provenance

is defined by ap

RDF provenance

label ap

RDF provenance

version info ap

RDF provenance

Namespace Declarations back to ToC

class
^c

is required by
^op

is specialized by
^op

requires
^op

specializes
^op

comment
^ap

extracted from
^ap

is defined by
^ap

label
^ap

version info
^ap