IRI:
http://www.ontologydesignpatterns.org/cp/owl/specialization.owl
Current version :
0.1: Created by Aldo Gangemi 0.2: Added object property 'requires'
Imported Ontologies :
http://www.ontologydesignpatterns.org/cp/owl/classification.owl (visualise it with LODE )
Extracted from :
(visualise it with LODE )
Other visualisation :
Ontology source - WebVowl

Table of Content

  1. Object Properties
  2. Annotation Properties
  3. Namespace Declarations

Object Properties

is required byop back to ToC or Object Property ToC

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

is defined by
http://www.ontologydesignpatterns.org/cp/owl/specialization.owl
has domain
conceptc
has range
conceptc
is inverse of
requiresop

is specialized byop back to ToC or Object Property ToC

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

is defined by
http://www.ontologydesignpatterns.org/cp/owl/specialization.owl
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 : transitive

has domain
conceptc
has range
conceptc
is inverse of
specializesop

requiresop back to ToC or Object Property ToC

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

is defined by
http://www.ontologydesignpatterns.org/cp/owl/specialization.owl
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.
has domain
conceptc
has range
conceptc
is inverse of
is required byop

specializesop back to ToC or Object Property ToC

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

is defined by
http://www.ontologydesignpatterns.org/cp/owl/specialization.owl
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 : transitive

has domain
conceptc
has range
conceptc
is inverse of
is specialized byop

Annotation Properties

commentap back to ToC or Annotation Property ToC

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

extracted fromap back to ToC or Annotation Property ToC

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

is defined byap back to ToC or Annotation Property ToC

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

labelap back to ToC or Annotation Property ToC

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

version infoap back to ToC or Annotation Property ToC

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

Namespace Declarations back to ToC

default namespace
http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#
classification
http://www.ontologydesignpatterns.org/cp/owl/classification.owl#
cpannotationschema
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
specialization
http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni .