Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Core

This simple core defines only five classes that act as the top for all others in the rest of the foundation, and all domains. The four properties, while not super-properties for all properties in the way that fnd:Thing is a super-type, are commonly used.

Core Classes

Foundation Core

Classes

Functional reference

Definition:

A reference that uniquely identifies it's referent; any unique value of a functional reference identifies at most one referent.

OWL:

fnd:FunctionalReference a owl:Class ;
  rdfs:subClassOf fnd:Reference ;
  skos:prefLabel "Functional reference"@en ;
  skos:definition "..."@en .

Physical thing

Definition:

A thing that has a physical form, it has mass and dimensions.

OWL:

fnd:PhysicalThing a owl:Class ;
  rdfs:subClassOf fnd:Referent ;
  skos:prefLabel "Physical thing"@en ;
  skos:definition "..."@en .

Reference

Definition:

A label used to refer to a thing, distinct from a thing itself.

OWL:

fnd:Reference a owl:Class ;
  rdfs:subClassOf fnd:Thing ;
  owl:disjointWith fnd:Referent ;
  skos:prefLabel "Reference"@en ;
  skos:definition "..."@en .

Referent

Definition:

An actual thing which exists regardless and independent of any particular labels used to describe, name, or identify it. It is the thing.

OWL:

fnd:Referent a owl:Class ;
  rdfs:subClassOf fnd:Thing ;
  owl:disjointWith fnd:Reference ;
  skos:prefLabel "Referent"@en ;
  skos:definition "..."@en .

Thing

Definition:

A thing is.

OWL:

fnd:Thing a owl:Class ;
  rdfs:subClassOf owl:Thing ;
  skos:prefLabel "Thing"@en ;
  skos:definition "..."@en .

Properties

Core Properties

Foundation Properties

has reference

Definition:

Denotes that a referent has one or more references.

OWL:

fnd:hasReference a owl:ObjectProperty ;
  rdfs:subPropertyOf fnd:referenceProperty ;
  owl:inverseOf fnd:refersTo ;
  rdfs:domain fnd:Referent ;
  rdfs:range fnd:Reference ;
  skos:prefLabel "has reference"@en ;
  skos:definition "..."@en .

has unique reference

Definition:

Denotes the case that a referent has a uniquely identifying reference.

OWL:

fnd:hasUniqueReference a owl:ObjectProperty ;
  rdfs:subPropertyOf fnd:referenceProperty, fnd:hasReference ;
  owl:inverseOf fnd:uniquelyRefersTo ;
  rdfs:domain fnd:Referent ;
  rdfs:range fnd:FunctionalReference ;
  skos:prefLabel "has unique reference"@en ;
  skos:definition "..."@en .

reference property

Definition:

A Property between referents and references.

OWL:

fnd:referenceProperty a owl:ObjectProperty ;
  skos:prefLabel "reference property"@en ;
  skos:definition "..."@en .

refers to

Definition:

Denotes a the referent that a reference describes.

OWL:

fnd:refersTo a owl:ObjectProperty ;
  rdfs:subPropertyOf fnd:referenceProperty ;
  owl:inverseOf fnd:hasReference ;
  rdfs:domain fnd:Reference ;
  rdfs:range fnd:Referent ;
  skos:prefLabel "refers to"@en ;
  skos:definition "..."@en .

uniquely refers to

Definition:

Denotes a the referent that a functional reference uniquely describes.

OWL:

fnd:uniquelyRefersTo a owl:FunctionalProperty ;
  rdfs:subPropertyOf fnd:referenceProperty, fnd:refersTo ;
  owl:inverseOf fnd:hasUniqueReference ;
  rdfs:domain fnd:FunctionalReference ;
  rdfs:range fnd:Referent ;
  skos:prefLabel "uniquely refers to"@en ;
  skos:definition "..."@en .