Ontology
imports: cpannotationschema.owl
imports: timeinterval.owl
comment: The Identity of Resources and Entity (IRE) ontology. This ontology represents the relation between the web resources and their content by means of the ProxyFor relation. Furthermore, it includes the concepts of Fragment of a web resource, SemanticWebResource, anchor, and Identifier. IRE is a semantic web contribution to the management of the identification of entities on the web. It distinguishes between a resource which is available on the web, its content, and the entity which is about. Moreover, IRE is built by composing and specializing reusable content ontology design patterns.
imports: situation.owl
imports: componency.owl
imports: intensionextension.owl
imports: informationrealization.owl
imports: informationobjectsandrepresentationlanguages.owl
version info: Created by Valentina Presutti

abstract web location
type: Class
subclass of: Restriction
  on property: hasURL
  cardinality: 1
comment: All possible locations of the combinatorial space identified by the world wide web.

hasURL
type: DatatypeProperty
comment: A unique resource locator associated to an abstract web location in terms of the URL standard.
range: anyURI
domain: abstract web location

Fragment
type: Class
comment: A piece of a web resource e.g., a piece of text in a web page, a picture, etc. A fragment is not a web page.
subclass of: WebResource
subclass of: Restriction
  all values from: WebResource
  on property: isComponentOf
disjoint with: WebPage

WebResource
type: Class
subclass of: Restriction
  on property: realizes
  all values from: InformationObject
subclass of: InformationRealization
comment: A resource that is published and available on the web.

WebPage
type: Class
comment: A web page e.g., a personal home page, a Wikipedia article.
subclass of: WebResource
disjoint with: Fragment

ProxyFor
type: Class
subclass of: Restriction
  some values from: Thing
  on property: isSettingForEntity
comment: A relation between a web resource and the entity/ies it is about at a certain time.
subclass of: Restriction
  on property: isSettingForWebResource
  cardinality: 1
subclass of: Restriction
  on property: isSettingForWebResource
  all values from: WebResource
subclass of: Restriction
  on property: atTime
  all values from: TimeInterval
subclass of: Situation

isSettingForEntity
type: ObjectProperty
range: Thing
sub property of: isSettingFor
domain: Situation
comment: The entity involved in a situation.

isSettingForWebResource
type: ObjectProperty
inverse of: webResourceHasSetting
sub property of: isSettingFor
domain: Situation
range: WebResource
comment: A web resource invlved in a situation.

atTime
type: ObjectProperty
inverse of: timeHasSetting
comment: The time at which a situation take place.
domain: Situation
range: TimeInterval
sub property of: isSettingFor

SemanticWebResource
type: Class
comment: A web resource that relizes an information encoded with a formal language e.g., the foaf file of a person.
subclass of: WebResource
subclass of: Restriction
  on property: realizes
  all values from: FormalExpression

ApproximateProxyFor
type: Class
comment: A proxy for relation involving a web resource which is about more than one entity at a certain time.
subclass of: ProxyFor
subclass of: Restriction
  on property: isSettingForEntity
  min cardinality: 2

ExactProxyFor
type: Class
comment: A proxy for relation involving a web resource that is about one and only one entity at a certain time. Such a web resource can only be a semantic web resource.
subclass of: Restriction
  on property: isSettingForWebResource
  all values from: SemanticWebResource
subclass of: Restriction
  on property: isSettingForEntity
  cardinality: 1
subclass of: ProxyFor

WebLocationOf
type: Class
subclass of: Restriction
  on property: isSettingForWebResource
  cardinality: 1
subclass of: Restriction
  on property: isSettingForLocation
  cardinality: 1
subclass of: Restriction
  on property: isSettingForLocation
  all values from: abstract web location
comment: A relation between a web resource and the abstract web location/s is is assigned to at a certain time.
subclass of: Restriction
  on property: isSettingForWebResource
  all values from: WebResource
subclass of: Restriction
  on property: atTime
  all values from: TimeInterval
subclass of: Situation

isSettingForLocation
type: ObjectProperty
inverse of: locationHasSetting
range: abstract web location
sub property of: isSettingFor
comment: The abstract web location assigned at a web resource in a web location of situation.
domain: WebLocationOf

hasAnchor
type: DatatypeProperty
domain: Fragment
range: anyURI
comment: A property of a fragment that associate it with a URI e.g., In a HTML web page, the fragment is an tag, and the value is the URL of the link that can be navigated by that fragment.
type: FunctionalProperty