IRI:
http://www.ontologydesignpatterns.org/cp/owl/componency.owl
Current version:
1.1 added rdfs:isDefinedBy for all named entities
Imported Ontologies:
http://www.ontologydesignpatterns.org/cp/owl/partof.owl (visualise it with LODE)
Other visualisation:
Ontology source

Abstract

The componency pattern, without temporal indexing. This pattern re-uses the part of pattern and is extracted from DOLCE-UltraLite by partial clone.

Table of Content

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

Classes

Objectc back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/componency.owl#Object

is defined by
http://www.ontologydesignpatterns.org/cp/owl/componency.owl
Any physical, social, or mental object, or a substance
has super-classes
is component ofop only Objectc
has componentop only Objectc

Object Properties

has componentop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/componency.owl#hasComponent

is defined by
http://www.ontologydesignpatterns.org/cp/owl/componency.owl
The hasPart relation without transitivity, holding between an entity (the system) and another (the component), and assuming a design that structures the system. For an explicit pattern encoding design, see the 'designobject' pattern. The componency pattern uses the transitive reduction logical pattern to preserve transitive on the superproperty from the partof pattern. In practice, the partof pattern acts here as the transitive reduction of the componency pattern.
has super-properties
has partop
has domain
thingc
has range
thingc
is inverse of
is component ofop

is component ofop back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/componency.owl#isComponentOf

is defined by
http://www.ontologydesignpatterns.org/cp/owl/componency.owl
The hasPart relation without transitivity, holding between an entity (the system) and another (the component), and assuming a design that structures the system. For an explicit pattern encoding design, see the 'designobject' pattern. The componency pattern uses the transitive reduction logical pattern to preserve transitive on the superproperty from the partof pattern. In practice, the partof pattern acts here as the transitive reduction of the componency pattern.
has super-properties
is part ofop
has domain
thingc
has range
thingc
is inverse of
has componentop

Annotation Properties

commentap back to ToC or Annotation Property ToC

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

covers requirementsap back to ToC or Annotation Property ToC

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

extracted fromap back to ToC or Annotation Property ToC

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

has consequencesap back to ToC or Annotation Property ToC

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

has intentap back to ToC or Annotation Property ToC

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

is defined byap back to ToC or Annotation Property ToC

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

is specialization ofap back to ToC or Annotation Property ToC

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

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/componency.owl#
cpannotationschema
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#
owl
http://www.w3.org/2002/07/owl#
partof-owl
http://www.ontologydesignpatterns.org/cp/owl/partof.owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
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.