Essential FRBR in OWL2 DL

IRI:
http://purl.org/spar/frbr
Version IRI:
http://purl.org/spar/frbr/2018-03-29
Date:
29/03/2018
Current version:
1.0.1
Previous version:
http://purl.org/spar/frbr/2011-06-29 (visualise it with LODE)
Authors:
Paolo Ciccarese
Silvio Peroni
Contributors:
David Shotton

Abstract

The Essential FRBR in OWL2 DL Ontology (FRBR) is an expression in OWL 2 DL of the basic concepts and relations described in the IFLA report on the Functional Requirements for Bibliographic Records (FRBR), also described in Ian Davis's RDF vocabulary. **URL:** http://purl.org/spar/frbr **Creators**: [Paolo Ciccarese](http://orcid.org/0000-0002-5156-2703), [Silvio Peroni](http://orcid.org/0000-0003-0530-4305) **Contributors:**: [David Shotton](http://orcid.org/0000-0001-5506-523X) **License:** [Creative Commons Attribution 4.0 International](https://creativecommons.org/licenses/by/4.0/legalcode) **Website:** http://www.sparontologies.net/ontologies/frbr

Table of Content

  1. Introduction
  2. Classes
  3. Object Properties
  4. Annotation Properties
  5. General Axioms
  6. SWRL Rules
  7. Namespace Declarations

Introduction

This vocabulary is an expression in OWL 2 DL of the basic concepts and relations described in the IFLA report on the Functional Requirements for Bibliographic Records (FRBR), also described in Ian Davis's RDF vocabulary (http://vocab.org/frbr/core).

Classes

conceptc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Concept

An abstract notion or idea. The entity defined as concept encompasses a comprehensive range of abstractions that may be the subject of a work: fields of knowledge, disciplines, schools of thought (philosophies, religions, political ideologies, etc.), theories, processes, techniques, practices, etc. A concept may be broad in nature or narrowly defined and precise.
has super-classes
subjectc
is disjoint with
eventc, objectc, placec

corporate bodyc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#CorporateBody

An organization or group of individuals and/or organizations acting as a unit. The entity defined as corporate body encompasses organizations and groups of individuals and/or organizations that are identified by a particular name, including occasional groups and groups that are constituted as meetings, conferences, congresses, expeditions, exhibitions, festivals, fairs, etc.
has super-classes
responsible entityc
is disjoint with
personc

endeavourc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Endeavour

It describes different aspects of user interests in the products of intellectual or artistic artifact.
is equivalent to
expressionc or itemc or manifestationc or workc
is in domain of
has related endeavourop, has responsible entityop
is in range of
has related endeavourop

eventc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Event

An action or occurrence. The entity defined as event encompasses a comprehensive range of actions and occurrences that may be the subject of a work: historical events, epochs, periods of time, etc.
has super-classes
subjectc
is disjoint with
conceptc, objectc, placec

expressionc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Expression

The intellectual or artistic realization of a work in the form of alpha-numeric, musical, or choreographic notation, sound, image, object, movement, etc., or any combination of such forms. An expression is the specific intellectual or artistic form that a work takes each time it is "realized." Expression encompasses, for example, the specific words, sentences, paragraphs, etc. that result from the realization of a work in the form of a text, or the particular sounds, phrasing, etc. resulting from the realization of a musical work.
is equivalent to
endeavourc and (has embodimentop some manifestationc) and (is realization ofop some workc)
endeavourc and (has partop only expressionc) and (is part ofop only expressionc)
is in domain of
has abridgementop, has arrangementop, has embodimentop, has realizerop, has revisionop, has translationop
is in range of
has abridgementop, has arrangementop, has realizationop, has revisionop, has translationop
is disjoint with
itemc, manifestationc, workc

itemc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Item

A single exemplar of a manifestation. The entity defined as item is a concrete entity. It is in many instances a single physical object (e.g., a copy of a one-volume monograph, a single audio cassette, etc.). There are instances, however, where the entity defined as item comprises more than one physical object (e.g., a monograph issued as two separately bound volumes, a recording issued on three separate compact discs, etc.).
is equivalent to
endeavourc and (is exemplar ofop some manifestationc)
endeavourc and (has partop only itemc) and (is part ofop only itemc)
is in domain of
has ownerop, has reconfigurationop
is in range of
has exemplarop, has reconfigurationop
is disjoint with
expressionc, manifestationc, workc

manifestationc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Manifestation

The physical embodiment of an expression of a work. The entity defined as manifestation encompasses a wide range of materials and formats. As an entity, manifestation represents all the physical objects that bear the same characteristics, in respect to both intellectual content and physical form.
is equivalent to
endeavourc and (is embodiment ofop some expressionc) and (has exemplarop some itemc)
endeavourc and (has partop only manifestationc) and (is part ofop only manifestationc)
is in domain of
has alternateop, has exemplarop, has producerop
is in range of
has alternateop, has embodimentop
is disjoint with
expressionc, itemc, workc

objectc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Object

A material thing. The entity defined as object encompasses a comprehensive range of material things that may be the subject of a work: animate and inanimate objects occurring in nature; fixed, movable, and moving objects that are the product of human creation; objects that no longer exist.
has super-classes
subjectc
is disjoint with
conceptc, eventc, placec

personc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Person

An individual. The entity defined as person encompasses individuals that are deceased as well as those that are living.
has super-classes
responsible entityc
is disjoint with
corporate bodyc

placec back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Place

A location. The entity defined as place encompasses a comprehensive range of locations: terrestrial and extra-terrestrial; historical and contemporary; geographic features and geo-political jurisdictions.
has super-classes
subjectc
is disjoint with
conceptc, eventc, objectc

responsible entityc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#ResponsibleEntity

It represents those responsible for the intellectual or artistic content, the physical production and dissemination, or the custodianship of any endeavour.
has sub-classes
corporate bodyc, personc
is in range of
has responsible entityop

subjectc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Subject

It represents an additional set of entities that serve as the subjects of works.
has sub-classes
conceptc, eventc, objectc, placec

workc back to ToC or Class ToC

IRI: http://purl.org/vocab/frbr/core#Work

A distinct intellectual or artistic creation. A work is an abstract entity; there is no single material object one can point to as the work. We recognize the work through individual realizations or expressions of the work, but the work itself exists only in the commonality of content between and among the various expressions of the work. When we speak of Homer's Iliad as a work, our point of reference is not a particular recitation or text of the work, but the intellectual creation that lies behind all the various expressions of the work.
is equivalent to
endeavourc and (has realizationop some expressionc)
endeavourc and (has partop only workc) and (is part ofop only workc)
is in domain of
has creatorop, has realizationop, has subjectop
is disjoint with
expressionc, itemc, manifestationc

Object Properties

has abridgementop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#abridgement

An expression abridged in another one. In the abridged expression some content of the previous expression is removed, but the result does not alter the content to the extent that it becomes a new work. The expressions resulting from such modification are generally autonomous in nature (i.e., they do not normally require reference to the prior expression in order to be used or understood).
has super-properties
has related endeavourop
has domain
expressionc
has range
expressionc
is inverse of
is abridgement ofop

has adaptionop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#adaption

A work/expression adapted in another one. This property describe the modification of an original work that is sufficient in degree to warrant their being considered as new works, rather than simply different expressions of the same work. If there exists a relation of this kind among two different expressions, they always refer to different works.
has super-properties
has related endeavourop
has domain
expressionc or workc
has range
expressionc or workc
is inverse of
is adaption ofop

has alternateop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#alternate

A manifestation having another one as alternate. The alternate relationship involves manifestations that effectively serve as alternates for each other. The alternate relationship obtains, for example, when a publication, sound recording, video, etc. is issued in more than one format or when it is released simultaneously by different publishers in different countries.
has super-properties
has related endeavourop
has domain
manifestationc
has range
manifestationc
is inverse of
is alternate ofop

has arrangementop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#arrangement

An expression arranged in another one. In the arranged expression some content of the previous expression is changed in some way, but the result does not alter the content to the extent that it becomes a new work. The expressions resulting from such modification are generally autonomous in nature (i.e., they do not normally require reference to the prior expression in order to be used or understood).
has super-properties
has related endeavourop
has domain
expressionc
has range
expressionc
is inverse of
is arrangement ofop

has complementop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#complement

An expression work/expression having another one as complement. This property describes works that are intended to be combined with or inserted into the related work. In other words, they are intended to be integrated in some way with the other work, but were not part of the original conception of that prior work. If there exists a relation of this kind among two different expressions, then they always refer to different works.
has super-properties
has related endeavourop
has domain
expressionc or workc
has range
expressionc or workc
is inverse of
is complement ofop

has creatorop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#creator

A work linked to its creator.
has super-properties
has responsible entityop
has domain
workc
is inverse of
is creator ofop

has embodimentop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#embodiment

An expression embodied in a manifestation.
has super-properties
has related endeavourop
has domain
expressionc
has range
manifestationc
is inverse of
is embodiment ofop

has exemplarop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#exemplar

A manifestation exemplified in an item.
has super-properties
has related endeavourop
has domain
manifestationc
has range
itemc
is inverse of
is exemplar ofop

has imitationop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#imitation

An work/expression imitated in another one. This property describes works that are intended to be an imitation another original work that is sufficient in degree to warrant their being considered as new works, rather than simply different expressions of the same work. If there exists a relation of this kind among two different expressions, then they always refer to different works.
has super-properties
has related endeavourop
has domain
expressionc or workc
has range
expressionc or workc
is inverse of
is imitation ofop

has ownerop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#owner

An item linked to its owner.
has super-properties
has responsible entityop
has domain
itemc
is inverse of
is owner ofop

has partop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#part

A part of an endeavour.

has characteristics: transitive

has super-properties
has related endeavourop
is inverse of
is part ofop

has producerop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#producer

A manifestation linked to its prodecer.
has super-properties
has responsible entityop
has domain
manifestationc
is inverse of
is producer ofop

has realizationop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#realization

A work realized through an expression.
has super-properties
has related endeavourop
has domain
workc
has range
expressionc
is inverse of
is realization ofop

has realizerop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#realizer

An expression linked to its realizer.
has super-properties
has responsible entityop
has domain
expressionc
is inverse of
is realizer ofop

has reconfigurationop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#reconfiguration

An item reconfigured in another one. The reconfiguration relationship is one in which one or more items are changed in such a way that a new item or items result. Most commonly, an item of one manifestation is bound with an item of a different manifestation to make a new item.
has super-properties
has related endeavourop
has domain
itemc
has range
itemc
is inverse of
is reconfiguration ofop

has related endeavourop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#relatedEndeavour

has reproductionop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#reproduction

A manifestation/item reproduced in another one. A reproduction indicates the relationship as it would be drawn from the first manifestation/item in the relationship to the second manifestation/item in the relationship.
has super-properties
has related endeavourop
has domain
itemc or manifestationc
has range
itemc or manifestationc
is inverse of
is reproduction ofop

has responsible entityop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#responsibleEntity

Any endeavour having a particular entity that is responsible of it.
has super-properties
top object propertyop
has sub-properties
has creatorop, has ownerop, has producerop, has realizerop
has domain
endeavourc
has range
responsible entityc
is inverse of
is responsible entity ofop

has revisionop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#revision

An expression revised in another one. A revision has the intent to alter or update the content of the prior expression, but without changing the content so much that it becomes a new work.
has super-properties
has related endeavourop
has domain
expressionc
has range
expressionc
is inverse of
is revision ofop

has subjectop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#subject

A work linked to a particular subject it is talking about.
has super-properties
top object propertyop
has domain
workc
has range
corporate bodyc or endeavourc or subjectc
is inverse of
is subject ofop

has successorop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#successor

An expression work/expression having another one as successor. The successor type of relationship involves a kind of linear progression of content from one work/expression to the other. In some cases, the content of the successor may be closely connected to the content of the preceding work, which would result in a work that is referential. In others, such as with loosely connected parts of a trilogy, the successor will be autonomous. Serial publications that result from the merger or split of their predecessors and stand on their own without requiring reference to the predecessor are also examples of autonomous works that fall within the successor relationship type. If there exists a relation of this kind among two different expressions, then they always refer to different works.
has super-properties
has related endeavourop
has domain
expressionc or workc
has range
expressionc or workc
is inverse of
is successor ofop

has summarizationop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#summarization

A work/expression summarized in another one. This property describe the summarization of an original work that is sufficient in degree to warrant their being considered as new works, rather than simply different expressions of the same work. If there exists a relation of this kind among two different expressions, they always refer to different works.
has super-properties
has related endeavourop
has domain
expressionc or workc
has range
expressionc or workc
is inverse of
is summarization ofop

has supplementop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#supplement

An expression work/expression having another one as supplement. The supplement relationship type involves works/expressions that are intended to be used in conjunction with another work/expression. Some of these, such as indices, concordances, teachers' guides, glosses, and instruction manuals for electronic resources will be so closely associated with the content of the related work/expression that they are useless without the other work/expression.
has super-properties
has related endeavourop
has domain
expressionc or workc
has range
expressionc or workc
is inverse of
is supplement ofop

has transformationop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#transformation

An work/expression transformed in another one. This property describes the transformation of an original work or expression into another work or expression that is sufficiently different in degree to warrant the product of the transformation being considered as a new work or expression, rather than simply a different expression of the original work. If there exists a frbr:transformation relation between two different expressions, then they always relate to different works.
has super-properties
has related endeavourop
has domain
expressionc or workc
has range
expressionc or workc
is inverse of
is transformation ofop

has translationop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#translation

An expression translated in another one. It allows to refer to a literal translation, in which the intent is to render the intellectual content of the previous expression as accurately as possible.
has super-properties
has related endeavourop
has domain
expressionc
has range
expressionc
is inverse of
is translation ofop

is abridgement ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#abridgementOf

It identifies the entire expression of an abridged one.
has super-properties
has related endeavourop
is inverse of
has abridgementop

is adaption ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#adaptionOf

It identifies the work/expression of an adapted one.
has super-properties
has related endeavourop
is inverse of
has adaptionop

is alternate ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#alternateOf

It identifies the manifestation of an alternative one.
has super-properties
has related endeavourop
is inverse of
has alternateop

is arrangement ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#arrangementOf

It identifies the original expression of an arranged one.
has super-properties
has related endeavourop
is inverse of
has arrangementop

is complement ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#complementOf

It identifies the work/expression of that is a complement of another one.
has super-properties
has related endeavourop
is inverse of
has complementop

is creator ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#creatorOf

The creator of a particular work.
has super-properties
is responsible entity ofop
is inverse of
has creatorop

is embodiment ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#embodimentOf

A manifestation that embodies an expression.
has super-properties
has related endeavourop
is inverse of
has embodimentop

is exemplar ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#exemplarOf

An item that exemplifies a manifestation.

has characteristics: functional

has super-properties
has related endeavourop
is inverse of
has exemplarop

is imitation ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#imitationOf

It identifies the work/expression of an imitated one.
has super-properties
has related endeavourop
is inverse of
has imitationop

is owner ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#ownerOf

The owner of a particular item.
has super-properties
is responsible entity ofop
is inverse of
has ownerop

is part ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#partOf

An endeavour incorporating another endeavour.

has characteristics: transitive

has super-properties
has related endeavourop
is inverse of
has partop

is producer ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#producerOf

The producer of a particular manifestation.
has super-properties
is responsible entity ofop
is inverse of
has producerop

is realization ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#realizationOf

An expression that realizes a work.

has characteristics: functional

has super-properties
has related endeavourop
is inverse of
has realizationop

is realizer ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#realizerOf

The realizer of a particular expression.
has super-properties
is responsible entity ofop
is inverse of
has realizerop

is reconfiguration ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#reconfigurationOf

It identifies the manifestation of a reconfigured one.
has super-properties
has related endeavourop
is inverse of
has reconfigurationop

is reproduction ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#reproductionOf

It identifies the manifestation/item of a reproduced one.
has super-properties
has related endeavourop
is inverse of
has reproductionop

is responsible entity ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#responsibleEntityOf

An entity that is resposible for a particular endeavour.
has super-properties
top object propertyop
has sub-properties
is creator ofop, is owner ofop, is producer ofop, is realizer ofop
is inverse of
has responsible entityop

is revision ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#revisionOf

It identifies the previous expression of a revised one.
has super-properties
has related endeavourop
is inverse of
has revisionop

is subject ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#subjectOf

A subject a work talks abbout.
has super-properties
top object propertyop
is inverse of
has subjectop

is successor ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#successorOf

It identifies the previous work/expression of a succeeded one.
has super-properties
has related endeavourop
is inverse of
has successorop

is summarization ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#summarizationOf

It identifies the original work/expression of a summarized one.
has super-properties
has related endeavourop
is inverse of
has summarizationop

is supplement ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#supplementOf

It identifies the work/expression of a particular supplement of it.
has super-properties
has related endeavourop
is inverse of
has supplementop

is transformation ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#transformationOf

It identifies the original work/expression of a trasformed one.
has super-properties
has related endeavourop
is inverse of
has transformationop

is translation ofop back to ToC or Object Property ToC

IRI: http://purl.org/vocab/frbr/core#translationOf

It identifies the original expression of a translated one.
has super-properties
has related endeavourop
is inverse of
has translationop

Annotation Properties

commentap back to ToC or Annotation Property ToC

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

contributorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/contributor

creatorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/creator

dateap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/date

descriptionap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/description

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

rightsap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/rights

skos:noteap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2008/05/skos#note

is defined by
http://www.w3.org/2008/05/skos#

titleap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/title

General Axioms

All Disjoint Classes back to ToC

conceptc, eventc, objectc, placec

SWRL rules

Rule #1back to ToC

is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) , has successorop(?e1,?e2) -> DifferentFrom(?w1,?w2)

Rule #2back to ToC

is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) , has summarizationop(?e1,?e2) -> DifferentFrom(?w1,?w2)

Rule #3back to ToC

has adaptionop(?e1,?e2) , is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) -> DifferentFrom(?w1,?w2)

Rule #4back to ToC

has imitationop(?e1,?e2) , is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) -> DifferentFrom(?w1,?w2)

Rule #5back to ToC

has abridgementop(?e1,?e2) , is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) ->

Rule #6back to ToC

is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) , has revisionop(?e1,?e2) ->

Rule #7back to ToC

is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) , has supplementop(?e1,?e2) -> DifferentFrom(?w1,?w2)

Rule #8back to ToC

is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) , has translationop(?e1,?e2) ->

Rule #9back to ToC

has arrangementop(?e1,?e2) , is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) ->

Rule #10back to ToC

is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) , has transformationop(?e1,?e2) -> DifferentFrom(?w1,?w2)

Rule #11back to ToC

has complementop(?e1,?e2) , is realization ofop(?e1,?w1) , is realization ofop(?e2,?w2) -> DifferentFrom(?w1,?w2)

Namespace Declarations back to ToC

default namespace
http://purl.org/spar/frbr#
core
http://purl.org/vocab/frbr/core#
dc
http://purl.org/dc/elements/1.1/
frbr
http://purl.org/spar/frbr/
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#
skos2
http://www.w3.org/2008/05/skos#
spar
http://purl.org/spar/
swrl
http://www.w3.org/2003/11/swrl#
swrlb
http://www.w3.org/2003/11/swrlb#
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.