type
type: Property
range: Class
comment: The subject is an instance of a class.
domain: Resource

The RDF Vocabulary (RDF)
type: Ontology
description: This is the RDF Schema for the RDF vocabulary defined in the RDF namespace.

List
type: Class
subclass of: Resource
comment: The class of RDF Lists.

first
type: Property
range: Resource
comment: The first item in the subject RDF list.
domain: List

Statement
type: Class
subclass of: Resource
comment: The class of RDF statements.

subject
type: Property
range: Resource
comment: The subject of the subject RDF statement.
domain: Statement

predicate
type: Property
range: Resource
comment: The predicate of the subject RDF statement.
domain: Statement

nil
comment: The empty list, with no items in it. If the rest of a list is nil then the list has no more items in it.

Seq
type: Class
subclass of: Container
comment: The class of ordered containers.

object
type: Property
range: Resource
comment: The object of the subject RDF statement.
domain: Statement

rest
type: Property
range: List
comment: The rest of the subject RDF list after the first item.
domain: List

XMLLiteral
type: Datatype
subclass of: Literal
comment: The class of XML literal values.

value
type: Property
range: Resource
comment: Idiomatic property used for structured values.
domain: Resource

Bag
type: Class
subclass of: Container
comment: The class of unordered containers.

Property
type: Class
subclass of: Resource
comment: The class of RDF properties.

Alt
type: Class
subclass of: Container
comment: The class of containers of alternatives.

Spatial Thing
type: Class

Thing
type: Class

Friend of a Friend (FOAF) vocabulary
type: Ontology
description: The Friend of a Friend (FOAF) RDF vocabulary, described using W3C RDF Schema and the Web Ontology Language.

Image
type: Class
subclass of: Document
comment: An image.
term status: testing

topic_interest
type: Property
type: ObjectProperty
range: Thing
comment: A thing of interest to this person.
domain: Agent
term status: testing

image
type: Property
type: ObjectProperty
range: Image
sub property of: depiction
comment: An image that can be used to represent some thing (ie. those depictions which are particularly representative of something, eg. one's photo on a homepage).
domain: Person
term status: testing

member
type: Property
type: ObjectProperty
range: Agent
comment: Indicates a member of a Group
domain: Group
term status: stable

knows
type: Property
type: ObjectProperty
range: Person
comment: A person known by this person (indicating some level of reciprocated interaction between the parties).
domain: Person
term status: stable

plan
type: Property
type: DatatypeProperty
range: Literal
comment: A .plan comment, in the tradition of finger and '.plan' files.
domain: Person
term status: testing

workplace homepage
type: Property
type: ObjectProperty
range: Document
comment: A workplace homepage of some person; the homepage of an organization they work for.
domain: Person
term status: testing

Skype ID
type: Property
type: DatatypeProperty
range: Literal
sub property of: nickname
comment: A Skype ID
domain: Agent
term status: testing

homepage
type: Property
type: InverseFunctionalProperty
type: ObjectProperty
range: Document
sub property of: is primary topic of
sub property of: page
comment: A homepage for some thing.
domain: Thing
term status: stable

age
type: Property
type: DatatypeProperty
type: FunctionalProperty
range: Literal
comment: The age in years of some agent.
domain: Agent
term status: unstable

Document
type: Class
comment: A document.
disjoint with: Organization
disjoint with: Project
term status: testing

is primary topic of
type: Property
type: InverseFunctionalProperty
range: Document
sub property of: page
comment: A document that this thing is the primary topic of.
domain: Thing
inverse of: primary topic
term status: stable

account name
type: Property
type: DatatypeProperty
range: Literal
comment: Indicates the name (identifier) associated with this online account.
domain: Online Account
term status: testing

sha1sum (hex)
type: Property
type: DatatypeProperty
comment: A sha1sum hash, in hex.
domain: Document
term status: unstable

firstName
type: Property
type: DatatypeProperty
range: Literal
comment: The first name of a person.
domain: Person
term status: testing

Online E-commerce Account
type: Class
subclass of: Online Account
comment: An online e-commerce account.
term status: unstable

geekcode
type: Property
type: DatatypeProperty
range: Literal
comment: A textual geekcode for this person, see http://www.geekcode.com/geek.html
domain: Person
term status: archaic

birthday
type: Property
type: DatatypeProperty
type: FunctionalProperty
range: Literal
comment: The birthday of this Agent, represented in mm-dd string form, eg. '12-31'.
domain: Agent
term status: unstable

Label Property
type: Class
comment: A foaf:LabelProperty is any RDF property with texual values that serve as labels.
term status: unstable

Surname
type: Property
type: DatatypeProperty
range: Literal
comment: The surname of some person.
domain: Person
term status: archaic

openid
type: Property
type: InverseFunctionalProperty
type: ObjectProperty
range: Document
sub property of: is primary topic of
comment: An OpenID for an Agent.
domain: Agent
term status: testing

publications
type: Property
type: ObjectProperty
range: Document
comment: A link to the publications of this person.
domain: Person
term status: testing

tipjar
type: Property
type: ObjectProperty
range: Document
sub property of: page
comment: A tipjar document for this agent, describing means for payment and reward.
domain: Agent
term status: testing

nickname
type: Property
type: DatatypeProperty
comment: A short informal nickname characterising an agent (includes login identifiers, IRC and other chat nicknames).
term status: testing

AIM chat ID
type: Property
type: InverseFunctionalProperty
type: DatatypeProperty
range: Literal
sub property of: nickname
comment: An AIM chat ID
domain: Agent
term status: testing

Given name
type: Property
type: DatatypeProperty
comment: The given name of some person.
term status: testing

based near
type: Property
type: ObjectProperty
range: Spatial Thing
comment: A location that something is based near, for some broadly human notion of near.
domain: Spatial Thing
term status: testing

funded by
type: Property
type: ObjectProperty
range: Thing
comment: An organization funding a project or person.
domain: Thing
term status: archaic

title
type: Property
type: DatatypeProperty
comment: Title (Mr, Mrs, Ms, Dr. etc)
term status: testing

depiction
type: Property
type: ObjectProperty
range: Image
comment: A depiction of some thing.
domain: Thing
inverse of: depicts
term status: testing

weblog
type: Property
type: InverseFunctionalProperty
type: ObjectProperty
range: Document
sub property of: page
comment: A weblog of some thing (whether person, group, company etc.).
domain: Agent
term status: testing

membershipClass
type: Property
type: AnnotationProperty
comment: Indicates the class of individuals that are a member of a Group
term status: unstable

schoolHomepage
type: Property
type: ObjectProperty
range: Document
comment: A homepage of a school attended by the person.
domain: Person
term status: testing

Yahoo chat ID
type: Property
type: InverseFunctionalProperty
type: DatatypeProperty
range: Literal
sub property of: nickname
comment: A Yahoo chat ID
domain: Agent
term status: testing

thumbnail
type: Property
type: ObjectProperty
range: Image
comment: A derived thumbnail image.
domain: Image
term status: testing

PersonalProfileDocument
type: Class
subclass of: Document
comment: A personal profile RDF document.
term status: testing

theme
type: Property
type: ObjectProperty
range: Thing
comment: A theme.
domain: Thing
term status: archaic

work info homepage
type: Property
type: ObjectProperty
range: Document
comment: A work info homepage of some person; a page about their work for some organization.
domain: Person
term status: testing

ICQ chat ID
type: Property
type: InverseFunctionalProperty
type: DatatypeProperty
range: Literal
sub property of: nickname
comment: An ICQ chat ID
domain: Agent
term status: testing

account
type: Property
type: ObjectProperty
range: Online Account
comment: Indicates an account held by this agent.
domain: Agent
term status: testing

lastName
type: Property
type: DatatypeProperty
range: Literal
comment: The last name of a person.
domain: Person
term status: testing

myersBriggs
type: Property
type: DatatypeProperty
range: Literal
comment: A Myers Briggs (MBTI) personality classification.
domain: Person
term status: testing

gender
type: Property
type: DatatypeProperty
type: FunctionalProperty
range: Literal
comment: The gender of this Agent (typically but not necessarily 'male' or 'female').
domain: Agent
term status: testing

page
type: Property
type: ObjectProperty
range: Document
comment: A page or document about this thing.
domain: Thing
inverse of: topic
term status: testing

Online Gaming Account
type: Class
subclass of: Online Account
comment: An online gaming account.
term status: unstable

interest
type: Property
type: ObjectProperty
range: Document
comment: A page about a topic of interest to this person.
domain: Agent
term status: testing

Agent
type: Class
comment: An agent (eg. person, group, software or physical artifact).
equivalent class: Agent
term status: stable

current project
type: Property
type: ObjectProperty
range: Thing
comment: A current project this person works on.
domain: Person
term status: testing

made
type: Property
type: ObjectProperty
range: Thing
comment: Something that was made by this agent.
domain: Agent
inverse of: maker
term status: stable

name
type: Property
type: DatatypeProperty
range: Literal
sub property of: label
comment: A name for some thing.
domain: Thing
term status: testing

Group
type: Class
subclass of: Agent
comment: A class of Agents.
term status: stable

past project
type: Property
type: ObjectProperty
range: Thing
comment: A project this person has previously worked on.
domain: Person
term status: testing

account
type: Property
type: ObjectProperty
range: Online Account
comment: Indicates an account held by this agent.
domain: Agent
term status: archaic

primary topic
type: Property
type: FunctionalProperty
type: ObjectProperty
range: Thing
comment: The primary topic of some page or document.
domain: Document
inverse of: is primary topic of
term status: stable

personal mailbox
type: Property
type: InverseFunctionalProperty
type: ObjectProperty
range: Thing
comment: A personal mailbox, ie. an Internet mailbox associated with exactly one owner, the first owner of this mailbox. This is a 'static inverse functional property', in that there is (across time and change) at most one individual that ever has any particular value for foaf:mbox.
domain: Agent
term status: stable

MSN chat ID
type: Property
type: InverseFunctionalProperty
type: DatatypeProperty
range: Literal
sub property of: nickname
comment: An MSN chat ID
domain: Agent
term status: testing

topic
type: Property
type: ObjectProperty
range: Thing
comment: A topic of some page or document.
domain: Document
inverse of: page
term status: testing

maker
type: Property
type: ObjectProperty
range: Agent
comment: An agent that made this thing.
domain: Thing
inverse of: made
equivalent property: creator
term status: stable

DNA checksum
type: Property
type: DatatypeProperty
range: Literal
comment: A checksum for the DNA of some thing. Joke.
term status: archaic

family_name
type: Property
type: DatatypeProperty
range: Literal
comment: The family name of some person.
domain: Person
term status: archaic

account service homepage
type: Property
type: ObjectProperty
range: Document
comment: Indicates a homepage of the service provide for this online account.
domain: Online Account
term status: testing

status
type: Property
type: DatatypeProperty
range: Literal
comment: A string expressing what the user is happy for the general public (normally) to know about their current activity.
domain: Agent
term status: unstable

Organization
type: Class
subclass of: Agent
comment: An organization.
disjoint with: Document
disjoint with: Person
term status: stable

depicts
type: Property
type: ObjectProperty
range: Thing
comment: A thing depicted in this representation.
domain: Image
inverse of: depiction
term status: testing

Person
type: Class
subclass of: Spatial Thing
subclass of: Agent
subclass of: Person
comment: A person.
disjoint with: Organization
disjoint with: Project
term status: stable

sha1sum of a personal mailbox URI name
type: Property
type: InverseFunctionalProperty
type: DatatypeProperty
range: Literal
comment: The sha1sum of the URI of an Internet mailbox associated with exactly one owner, the first owner of the mailbox.
domain: Agent
term status: testing

Given name
type: Property
type: DatatypeProperty
comment: The given name of some person.
term status: archaic

focus
type: Property
type: ObjectProperty
range: Thing
comment: The underlying or 'focal' entity associated with some SKOS-described concept.
domain: Concept
term status: testing

Online Account
type: Class
subclass of: Thing
comment: An online account.
term status: testing

jabber ID
type: Property
type: InverseFunctionalProperty
type: DatatypeProperty
range: Literal
comment: A jabber ID for something.
domain: Agent
term status: testing

logo
type: Property
type: InverseFunctionalProperty
type: ObjectProperty
range: Thing
comment: A logo representing some thing.
domain: Thing
term status: testing

Online Chat Account
type: Class
subclass of: Online Account
comment: An online chat account.
term status: unstable

Project
type: Class
comment: A project (a collective endeavour of some kind).
disjoint with: Document
disjoint with: Person
term status: testing

familyName
type: Property
type: DatatypeProperty
range: Literal
comment: The family name of some person.
domain: Person
term status: testing

phone
type: Property
type: ObjectProperty
comment: A phone, specified using fully qualified tel: URI scheme (refs: http://www.w3.org/Addressing/schemes.html#tel).
term status: testing

Restriction
first: Unit
rest: nil
all values from: Restriction
has value: 1066MHz
on property: clockFrequency
on property: hasTopping

Restriction
first: CoberturaDePimentaoVerdePicante
rest: Restriction
has value: 266MHz
has value: piece
on property: clockFrequency
on property: defaultUnit

Restriction
has value: x86-64
has value: America
max cardinality: 1
on property: cpuArchitecture
on property: hasCountryOfOrigin
on property: hasValue

Restriction
on class: Unit
some values from: CoberturaDeMozzarella
has value: KVM
on property: vmm
on property: hasTopping
on property: hasUnit
max qualified cardinality: 1

Restriction
on class: Unit
some values from: CoberturaDeJalapeno
qualified cardinality: 1
has value: OpenVZ
on property: vmm
on property: hasTopping
on property: defaultUnit

Restriction
on class: TimeInterval
some values from: CoberturaDePimentaoVerdePicante
qualified cardinality: 1
has value: 133MHz
on property: clockFrequency
on property: hasTopping
on property: derivedFrom

Restriction
type: Class
union of: Restriction
has value: 2
has value: 1066MHz
on property: clockFrequency
on property: base

Restriction
first: CoberturaDeMozzarella
rest: Restriction
has value: 400MHz
has value: unitless
on property: clockFrequency
on property: defaultUnit

Restriction
first: CoberturaDeJalapeno
rest: Restriction
some values from: OS
has value: 10
on property: os
on property: base

Restriction
first: CoberturaDeTomate
rest: Restriction
on class: IntervalLevel
some values from: Literal
qualified cardinality: 2
on property: hasName
on property: derivedFrom

Restriction
first: CoberturaDeCalabreza
rest: nil
on class: Prefix
has value: x86
on property: cpuArchitecture
on property: hasPrefix
max qualified cardinality: 1

Restriction
type: Class
some values from: CoberturaDeTomate
has value: -1
on property: hasTopping
on property: exponent
intersection of: Restriction

Restriction
first: Restriction
rest: Restriction
on class: InformationSize
some values from: MolhoTobascoPepper
qualified cardinality: 1
on property: hasTopping
on property: derivedFrom

Restriction
some values from: CoberturaDeCamarao
has value: 2.4GHz
has value: bitpersecond
on property: clockFrequency
on property: hasTopping
on property: defaultUnit

Restriction
first: Restriction
rest: Restriction
on class: Frequency
some values from: CoberturaDeCebola
qualified cardinality: 1
on property: hasTopping
on property: derivedFrom

Restriction
on class: InformationSize
some values from: CoberturaDeTomate
qualified cardinality: 1
has value: Xeon
on property: cpuFamily
on property: hasTopping
on property: derivedFrom

Restriction
type: Class
union of: Restriction
on data range: double
has value: Nehalem
on property: cpuModel
on property: offset
max qualified cardinality: 1

Restriction
first: Restriction
first: CoberturaDeMozzarella
rest: Restriction
on data range: double
qualified cardinality: 1
on property: scale

Restriction
first: MolhoTobascoPepper
rest: Restriction
has value: 4
has value: unitless
on property: numCPUCores
on property: defaultUnit

Restriction
first: CoberturaDeCebola
rest: Restriction
on class: RatioLevel
some values from: OS
qualified cardinality: 1
on property: os
on property: derivedFrom

Restriction
first: CoberturaDeCamarao
rest: Restriction
on data range: integer
qualified cardinality: 1
has value: VServer
on property: vmm
on property: exponent

Restriction
first: CoberturaDeTomate
rest: nil
on data range: integer
qualified cardinality: 1
has value: Xen
on property: vmm
on property: exponent

Restriction
type: Class
some values from: CoberturaDeMozzarella
on data range: integer
qualified cardinality: 1
on property: hasTopping
on property: base
intersection of: Restriction

Restriction
some values from: Picante
on data range: integer
qualified cardinality: 1
has value: x86-64
on property: cpuArchitecture
on property: hasSpiciness
on property: exponent

Restriction
on class: Countable
some values from: CoberturaDeCaper
qualified cardinality: 1
has value: Intel
on property: vendor
on property: hasTopping
on property: derivedFrom

Restriction
first: Restriction
rest: Restriction
on class: Restriction
some values from: CoberturaDeMozzarella
on property: hasTopping
on property: derivedFrom
min qualified cardinality: 2

Restriction
type: Class
union of: Restriction
some values from: CoberturaDeTomate
has value: 3.0GHz
on property: clockFrequency
on property: hasTopping

Restriction
type: Class
first: PowerDimension
rest: nil
union of: Restriction
has value: Xeon
on property: cpuFamily

Restriction
first: Restriction
first: CoberturaDeAnchovies
rest: Restriction
on class: Unit
on property: derivedFrom
min qualified cardinality: 2

Restriction
first: CoberturaDePresunto
rest: Restriction
on class: RatioLevel
qualified cardinality: 1
has value: Xeon
on property: cpuModel
on property: derivedFrom

Restriction
first: Restriction
first: CoberturaPeperonata
rest: Restriction
on data range: string
qualified cardinality: 1
on property: forwardExpression

Restriction
first: CoberturaDeTomate
rest: Restriction
on data range: string
qualified cardinality: 1
has value: 1
on property: numCPUCores
on property: inverseExpression

Restriction
first: CoberturaDeMozzarella
rest: nil
on class: PointInTime
qualified cardinality: 2
on property: derivedFrom

Restriction
on class: Unit
some values from: CoberturaPeperonata
qualified cardinality: 1
on property: hasTopping
on property: derivedFrom

Person
type: Class

PlainLiteral
type: Datatype
subclass of: Literal
comment: The class of plain (i.e. untyped) literal values.

RAM
type: Class
subclass of: ComputeElementComponent
comment: Parent class of various RAMs

cpuArchitecture
type: ObjectProperty
range: CPUArchitecture
sub property of: feature
comment: x86, x86-64 or other
domain: ComputeElement
domain: CPU

x86
type: NamedIndividual
type: CPUArchitecture
comment: 32-bit x86

x86-64
type: NamedIndividual
type: CPUArchitecture
comment: 64-bit x86

CPU
type: Class
subclass of: Restriction
subclass of: ComputeElementComponent
comment: Parent class of various CPU types

metric
type: DatatypeProperty
comment: Individual performance metrics

compute.owl
type: Ontology
is defined by: RENCI UNC-Chapel Hill 2009-2011 yxin@renci.org, ibaldin@renci.org
comment: Compute element ontology
contributor: Yufeng Xin, Ilia Baldine
version IRI: compute-v2.owl
imports: collections.owl
imports: domain.owl
imports: layer.owl
imports: location.owl
imports: topology.owl

computeElementType
type: FunctionalProperty
type: ObjectProperty
range: ComputeElementType
sub property of: feature
comment: A blade, a mote, a server, a laptop?
domain: ComputeElement

specificCE
type: FunctionalProperty
type: ObjectProperty
range: ClassifiedComputeElementInstance
sub property of: feature
comment: Allows specify what specific CE this is e.g. in a request - a ComputeElement <ceInstance specificCE EucaC1Medium>
domain: ComputeElement

Storage
type: Class
subclass of: ComputeElementComponent
comment: See storage.owl for details

BareMetalCE
type: NamedIndividual
type: Class
type: ClassifiedComputeElementInstance
type: ResourceType
subclass of: ClassifiedComputeElement
equivalent class: Restriction
resource type rank: 9

VM
type: NamedIndividual
type: Class
type: ClassifiedComputeElementInstance
type: ResourceType
subclass of: ClassifiedComputeElement
equivalent class: Restriction
resource type rank: 10

CentOS-5.5
type: NamedIndividual
type: Linux
vendor: CentOSFoundation
os distribution: CentOS
os version: 5.5

IA-64
type: NamedIndividual
type: CPUArchitecture
comment: Server-class 64-bit x64 from Intel

RedHat-6
type: NamedIndividual
type: Linux
vendor: RedHatInc
os distribution: RHEL
os version: 6

Ubuntu-10.04
type: NamedIndividual
type: Linux
vendor: UbuntuFoundation
os distribution: Ubuntu
os version: 10.04

Windows7
type: NamedIndividual
type: Windows
vendor: Microsoft
os distribution: Windows
os version: 7

CoberturaDeTomate
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeArtichoke

hasTopping
type: InverseFunctionalProperty
type: ObjectProperty
range: CoberturaDaPizza
sub property of: hasIngredient
comment: Note that hasTopping is inverse functional because isToppingOf is functional @en
domain: Pizza
inverse of: isToppingOf

CoberturaDeMozzarella
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: Restriction
  has value: Italy
  on property: hasCountryOfOrigin
subclass of: CoberturaDeQueijo
disjoint with: CoberturaDeQueijoDeCabra
disjoint with: CoberturaDeParmesao
disjoint with: CoberturaQuatroQueijos
disjoint with: CoberturaDeGorgonzola

CoberturaDeCalabreza
type: Class
subclass of: Restriction
  some values from: Media
  on property: hasSpiciness
subclass of: CoberturaDeCarne
disjoint with: CoberturaDePresunto
disjoint with: CoberturaDeFrango
disjoint with: CoberturaDeBifePicante

CoberturaDePimentaoVerdePicante
type: Class
subclass of: Restriction
  some values from: Picante
  on property: hasSpiciness
subclass of: CoberturaDePimentaoVerde

CoberturaDeJalapeno
type: Class
subclass of: Restriction
  some values from: Picante
  on property: hasSpiciness
subclass of: CoberturaDePimentao
disjoint with: CoberturaPeperonata
disjoint with: CoberturaDePimentaoDoce
disjoint with: CoberturaDePimentaoVerde

NaoPicante
type: Class
subclass of: Tempero
disjoint with: Picante

hasSpiciness
type: FunctionalProperty
type: ObjectProperty
range: Tempero
comment: A property created to be used with the ValuePartition - Spiciness. @en

CoberturaPeperonata
type: Class
subclass of: Restriction
  some values from: Media
  on property: hasSpiciness
subclass of: CoberturaDePimentao
disjoint with: CoberturaDePimentaoDoce
disjoint with: CoberturaDePimentaoVerde

MolhoTobascoPepper
type: Class
subclass of: Restriction
  some values from: Picante
  on property: hasSpiciness
subclass of: CoberturaEmMolho

CoberturaDeCamarao
type: Class
subclass of: CoberturaDePeixe
disjoint with: CoberturaDeFrutosDoMarMistos

CoberturaDeCebola
type: Class
subclass of: Restriction
  some values from: Media
  on property: hasSpiciness
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos

Picante
type: Class
subclass of: Tempero

CoberturaDeCaper
type: Class
subclass of: Restriction
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaRocket
disjoint with: CoberturaDePimentao

CoberturaDeAnchovies
type: Class
subclass of: CoberturaDePeixe
disjoint with: CoberturaDeCamarao
disjoint with: CoberturaDeFrutosDoMarMistos

CoberturaDePresunto
type: Class
subclass of: CoberturaDeCarne
disjoint with: CoberturaDeBifePicante

CoberturaDeAzeitona
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeArtichoke

CoberturaDeQueijoDeCabra
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeQueijo
disjoint with: CoberturaDeParmesao
disjoint with: CoberturaQuatroQueijos
disjoint with: CoberturaDeGorgonzola

CoberturaDeTomateRessecadoAoSol
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeTomate

Pizza
type: Class
subclass of: Restriction
  some values from: BaseDaPizza
  on property: hasBase
subclass of: Food
disjoint with: CoberturaDaPizza

CoberturaDeQueijo
type: Class
subclass of: CoberturaDaPizza

CoberturaDeEspinafre
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeVegetais
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos

CoberturaDeParmesao
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeQueijo
disjoint with: CoberturaQuatroQueijos

CoberturaDeAlho
type: Class
subclass of: Restriction
  some values from: Media
  on property: hasSpiciness
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeCaper
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaRocket
disjoint with: CoberturaDePimentao

CoberturaDeCogumelo
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos

CoberturaDeFrutosDoMarMistos
type: Class
subclass of: CoberturaDePeixe

Media
type: Class
subclass of: Tempero
disjoint with: NaoPicante
disjoint with: Picante

CoberturaDeTomateFatiado
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeTomate
disjoint with: CoberturaDeTomateRessecadoAoSol

CoberturaDeLeek
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos

CoberturaPetitPois
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeVegetais

CoberturaDeFrutas
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeErvas

CoberturaDeCarne
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaDePeixe

PizzaVegetariana
type: Class
comment: Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Members of this class do not need to have any toppings at all. @en
equivalent class: Class
  intersection of: Class
    complement of: Restriction
      some values from: CoberturaDeCarne
      on property: hasTopping
  intersection of: Pizza
  intersection of: Class
    complement of: Restriction
      some values from: CoberturaDePeixe
      on property: hasTopping

CoberturaDeAspargos
type: Class
subclass of: Restriction
subclass of: CoberturaDeVegetais
disjoint with: CoberturaPetitPois

BaseDaPizza
type: Class
subclass of: Food
disjoint with: Pizza
disjoint with: CoberturaDaPizza

CoberturaDeCajun
type: Class
subclass of: Restriction
subclass of: CoberturaDeErvas

CoberturaDeCebolaVermelha
type: Class
subclass of: CoberturaDeCebola

CoberturaDePimentaoDoce
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDePimentao
disjoint with: CoberturaDePimentaoVerde

CoberturaDeFrango
type: Class
subclass of: Restriction
  type: AllDisjointClasses
  some values from: NaoPicante
  members: Class
  on property: hasSpiciness
subclass of: CoberturaDeCarne
disjoint with: CoberturaDePresunto
disjoint with: CoberturaDeBifePicante

CoberturaRosemary
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeErvas
disjoint with: CoberturaDeCajun

CoberturaQuatroQueijos
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeQueijo

BaseFinaEQuebradica
type: Class
subclass of: BaseDaPizza
disjoint with: BaseEspessa

CoberturaDeGorgonzola
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDeQueijo
disjoint with: CoberturaDeParmesao
disjoint with: CoberturaQuatroQueijos

CoberturaDeArtichoke
type: Class
subclass of: Restriction
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos

CoberturaDePimentaoVerde
type: Class
subclass of: CoberturaDePimentao

CoberturaDeBifePicante
type: Class
subclass of: Restriction
  some values from: Picante
  on property: hasSpiciness
subclass of: CoberturaDeCarne

CoberturaRocket
type: Class
subclass of: Restriction
  some values from: Media
  on property: hasSpiciness
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeArtichoke

CoberturaTemperada
type: Class
comment: Any pizza topping that has spiciness Hot @en
equivalent class: Class
  intersection of: Restriction
    some values from: Picante
    on property: hasSpiciness
  intersection of: CoberturaDaPizza

CoberturaDaPizza
type: Class
subclass of: Food

CoberturaDePeixe
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeQueijo

CoberturaVegetariana
type: Class
comment: An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc. @en
equivalent class: Class
  intersection of: CoberturaDaPizza
  intersection of: Class
    union of: CoberturaEmMolho
    union of: CoberturaDeVegetais
    union of: CoberturaDeFrutas
    union of: CoberturaDeQueijo
    union of: CoberturaDeErvas
    union of: CoberturaDeCastanha

CoberturaEmMolho
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaDeErvas
disjoint with: CoberturaDeCastanha

CoberturaDeVegetais
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeErvas

CoberturaDeErvas
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDePeixe

CoberturaDeCastanha
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaDeErvas

CoberturaPineKernels
type: Class
subclass of: CoberturaDeCastanha

CoberturaSultana
type: Class
subclass of: Restriction
  some values from: Media
  on property: hasSpiciness
subclass of: CoberturaDeFrutas

hasIngredient
type: TransitiveProperty
type: ObjectProperty
range: Food
comment: NB Transitive - the ingredients of ingredients are ingredients of the whole @en
domain: Food
inverse of: isIngredientOf

isToppingOf
type: FunctionalProperty
type: ObjectProperty
range: Pizza
sub property of: isIngredientOf
comment: Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas) @en
domain: CoberturaDaPizza

Pais
type: Class
comment: A class that is equivalent to the set of individuals that are described in the enumeration - ie Countries can only be either America, England, France, Germany or Italy and nothing else. Note that these individuals have been asserted to be allDifferent from each other. @en
equivalent class: Class

CoberturaDePimentao
type: Class
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaRocket

Tempero
type: Class
subclass of: ValorDaParticao
comment: A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions. @en
equivalent class: Class
  union of: Picante
  union of: NaoPicante
  union of: Media

Food
type: Class
subclass of: DomainConcept
label: Hrana @sr

ValorDaParticao
type: Class
comment: A ValuePartition is a pattern that describes a restricted set of classes from which a property can be associated. The parent class is used in restrictions, and the covering axiom means that only members of the subclasses may be used as values. The possible subclasses cannot be extended without updating the ValuePartition class.

BaseEspessa
type: Class
subclass of: BaseDaPizza

isIngredientOf
type: TransitiveProperty
type: ObjectProperty
range: Food
comment: The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient. @en
domain: Food

pizza.owl
type: Ontology
comment: An example ontology that contains all constructs required for the various versions of the Pizza Tutorial run by Manchester University (see http://www.co-ode.org/resources/tutorials/) @en
version info: v.1.5. Removed protege.owl import and references. Made ontology URI date-independent @en
version info: version 1.5
version info: v.1.4. Added Food class (used in domain/range of hasIngredient), Added several hasCountryOfOrigin restrictions on pizzas, Made hasTopping invers functional @en

Americana
type: Class
subclass of: Restriction
subclass of: PizzaComUmNome
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante

PizzaComUmNome
type: Class
subclass of: Pizza
comment: A pizza that can be found on a pizza menu @en

QuatroQueijos
type: Class
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeTomate
    union of: CoberturaQuatroQueijos
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaQuatroQueijos
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: AmericanaPicante

AmericanaPicante
type: Class
subclass of: Restriction
subclass of: PizzaComUmNome

Cajun
type: Class
subclass of: Restriction
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: Cogumelo
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Caprina
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Parmense
disjoint with: CoberturaPrinceCarlo
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Capricciosa
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: LaReine

Cogumelo
type: Class
subclass of: Restriction
  some values from: CoberturaDeCogumelo
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeCogumelo
    union of: CoberturaDeTomate
    union of: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Parmense
disjoint with: CoberturaPrinceCarlo
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Capricciosa
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: LaReine

SloppyGiuseppe
type: Class
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDePimentaoVerde
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeCebola
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeTomate
    union of: CoberturaDePimentaoVerde
    union of: CoberturaDeBifePicante
    union of: CoberturaDeCebola
    union of: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeBifePicante
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: Giardiniera
disjoint with: Rosa

Veneziana
type: Class
subclass of: Restriction
  some values from: CoberturaPineKernels
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeCaper
    union of: CoberturaPineKernels
    union of: CoberturaDeAzeitona
    union of: CoberturaDeTomate
    union of: CoberturaSultana
    union of: CoberturaDeCebola
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAzeitona
  on property: hasTopping
subclass of: Restriction
  has value: Italy
  on property: hasCountryOfOrigin
subclass of: Restriction
  some values from: CoberturaDeCebola
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaSultana
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeCaper
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Napoletana
disjoint with: Soho

PolloAdAstra
type: Class
subclass of: Restriction
  some values from: CoberturaDeCajun
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeCebolaVermelha
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDePimentaoDoce
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAlho
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeCebolaVermelha
    union of: CoberturaDeCajun
    union of: CoberturaDeTomate
    union of: CoberturaDePimentaoDoce
    union of: CoberturaDeFrango
    union of: CoberturaDeAlho
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeFrango
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Napoletana

Caprina
type: Class
subclass of: Restriction
subclass of: Restriction
  type: AllDisjointClasses
  some values from: CoberturaDeTomateRessecadoAoSol
  members: Restriction
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: Cogumelo
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Parmense
disjoint with: CoberturaPrinceCarlo
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Capricciosa
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: LaReine

Giardiniera
type: Class
subclass of: Restriction
  some values from: CoberturaDeTomateFatiado
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeLeek
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaPeperonata
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAzeitona
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeTomate
    union of: CoberturaDeCogumelo
    union of: CoberturaDeLeek
    union of: CoberturaDeTomateFatiado
    union of: CoberturaPetitPois
    union of: CoberturaDeAzeitona
    union of: CoberturaPeperonata
    union of: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaPetitPois
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeCogumelo
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: Rosa

PizzaAberta
type: Class
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: PizzaComUmNome
comment: An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Giardiniera
disjoint with: Rosa

Siciliana
type: Class
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDePresunto
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAnchovies
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeArtichoke
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAlho
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAzeitona
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeAnchovies
    union of: CoberturaDeAzeitona
    union of: CoberturaDeArtichoke
    union of: CoberturaDeTomate
    union of: CoberturaDePresunto
    union of: CoberturaDeMozzarella
    union of: CoberturaDeAlho
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Rosa

Margherita
type: Class
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Rosa

Rosa
type: Class
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDeGorgonzola
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeGorgonzola
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante

Parmense
type: Class
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeParmesao
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDePresunto
    union of: CoberturaDeParmesao
    union of: CoberturaDeTomate
    union of: CoberturaDeAspargos
    union of: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDePresunto
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAspargos
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: LaReine

CoberturaPrinceCarlo
type: Class
subclass of: Restriction
  some values from: CoberturaDeParmesao
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeLeek
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaRosemary
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeParmesao
    union of: CoberturaDeLeek
    union of: CoberturaRosemary
    union of: CoberturaDeTomate
    union of: CoberturaDeMozzarella
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Parmense
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Capricciosa
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: LaReine

Napoletana
type: Class
subclass of: Restriction
  some values from: CoberturaDeCaper
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeCaper
    union of: CoberturaDeAnchovies
    union of: CoberturaDeTomate
    union of: CoberturaDeAzeitona
    union of: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAzeitona
  on property: hasTopping
subclass of: Restriction
  has value: Italy
  on property: hasCountryOfOrigin
subclass of: Restriction
  some values from: CoberturaDeAnchovies
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa

Soho
type: Class
subclass of: Restriction
  some values from: CoberturaDeAzeitona
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAlho
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeParmesao
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaRocket
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeAlho
    union of: CoberturaDeMozzarella
    union of: CoberturaRocket
    union of: CoberturaDeTomate
    union of: CoberturaDeAzeitona
    union of: CoberturaDeParmesao
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Napoletana

Capricciosa
type: Class
subclass of: Restriction
subclass of: Restriction
  type: AllDisjointClasses
  some values from: CoberturaDeAzeitona
  members: Restriction
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Parmense
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: LaReine

QuatroQueijos
type: Class
subclass of: Restriction
  some values from: CoberturaDeCogumelo
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeCaper
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeCalabreza
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeCalabreza
    union of: CoberturaDeAnchovies
    union of: CoberturaDeCaper
    union of: CoberturaDeAzeitona
    union of: CoberturaDeCogumelo
    union of: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAzeitona
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAnchovies
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: Cogumelo
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Caprina
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Parmense
disjoint with: CoberturaPrinceCarlo
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Capricciosa
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: LaReine

Fiorentina
type: Class
subclass of: Restriction
  some values from: CoberturaDeEspinafre
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAzeitona
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeParmesao
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeAzeitona
    union of: CoberturaDeTomate
    union of: CoberturaDeEspinafre
    union of: CoberturaDeParmesao
    union of: CoberturaDeAlho
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAlho
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Napoletana
disjoint with: Soho
disjoint with: FrutosDoMar

FrutosDoMar
type: Class
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeFrutosDoMarMistos
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeFrutosDoMarMistos
    union of: CoberturaDeTomate
    union of: CoberturaDeAlho
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAlho
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Napoletana
disjoint with: Soho

LaReine
type: Class
subclass of: Restriction
  some values from: CoberturaDePresunto
  on property: hasTopping
subclass of: Restriction
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeAzeitona
    union of: CoberturaDeCogumelo
    union of: CoberturaDeTomate
    union of: CoberturaDePresunto
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeAzeitona
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeCogumelo
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeTomate
  on property: hasTopping
subclass of: Restriction
  some values from: CoberturaDeMozzarella
  on property: hasTopping
subclass of: PizzaComUmNome
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Margherita
disjoint with: Rosa
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Fiorentina
disjoint with: FrutosDoMar

PizzaComQueijo
type: Class
comment: Any pizza that has at least 1 cheese topping. @en
equivalent class: Class

CoberturaDeQueijoComVegetais
type: Class
subclass of: CoberturaDeQueijo
subclass of: CoberturaDeVegetais
comment: This class will be inconsistent. This is because we have given it 2 disjoint parents, which means it could never have any members (as nothing can simultaneously be a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial. @en

Sorvete
type: Class
subclass of: Restriction
  some values from: CoberturaDeFrutas
  on property: hasTopping
subclass of: Food
comment: A class to demonstrate mistakes made with setting a property domain. The property hasTopping has a domain of Pizza. This means that the reasoner can infer that all individuals using the hasTopping property must be of type Pizza. Because of the restriction on this class, all members of IceCream must use the hasTopping property, and therefore must also be members of Pizza. However, Pizza and IceCream are disjoint, so this causes an inconsistency. If they were not disjoint, IceCream would be inferred to be a subclass of Pizza. @en
disjoint with: Pizza
disjoint with: BaseDaPizza
disjoint with: CoberturaDaPizza

PizzaInteressante
type: Class
comment: Any pizza that has at least 3 toppings. Note that this is a cardinality constraint on the hasTopping property and NOT a qualified cardinality constraint (QCR). A QCR would specify from which class the members in this relationship must be. eg has at least 3 toppings from PizzaTopping. This is currently not supported in OWL. @en
equivalent class: Class
  intersection of: Restriction
    on property: hasTopping
    min cardinality: 3
  intersection of: Pizza

PizzaDeCarne
type: Class
comment: Any pizza that has at least one meat topping @en
equivalent class: Class
  intersection of: Restriction
    some values from: CoberturaDeCarne
    on property: hasTopping
  intersection of: Pizza

PizzaNaoVegetariana
type: Class
comment: Any Pizza that is not a VegetarianPizza @en
disjoint with: PizzaVegetariana
equivalent class: Class
  intersection of: Class
    complement of: PizzaVegetariana
  intersection of: Pizza

CoberturaDePrezuntoParma
type: Class
subclass of: Restriction
  some values from: NaoPicante
  on property: hasSpiciness
subclass of: CoberturaDePresunto

PizzaItalianaReal
type: Class
subclass of: Restriction
  all values from: BaseFinaEQuebradica
  on property: hasBase
comment: This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases. In essence, all pizzas from Italy must have ThinAndCrispy bases. @en
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    has value: Italy
    on property: hasCountryOfOrigin

PizzaTemperada
type: Class
comment: Any pizza that has a spicy topping is a SpicyPizza @en
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    some values from: CoberturaTemperada
    on property: hasTopping

PizzaTemperadaEquivalente
type: Class
comment: An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class. @en
equivalent class: Class
  intersection of: Restriction
    some values from: Class
      intersection of: Restriction
        some values from: Picante
        on property: hasSpiciness
      intersection of: CoberturaDaPizza
    on property: hasTopping
  intersection of: Pizza

PizzaVegetarianaEquivalente1
type: Class
comment: Any pizza that only has vegetarian toppings or no toppings is a VegetarianPizzaEquiv1. Should be inferred to be equivalent to VegetarianPizzaEquiv2. Not equivalent to VegetarianPizza because PizzaTopping is not covering @en
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    all values from: CoberturaVegetariana
    on property: hasTopping

PizzaVegetarianaEquivalente2
type: Class
comment: An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza @en
equivalent class: Class
  intersection of: Restriction
    all values from: Class
      union of: CoberturaEmMolho
      union of: CoberturaDeVegetais
      union of: CoberturaDeFrutas
      union of: CoberturaDeQueijo
      union of: CoberturaDeErvas
      union of: CoberturaDeCastanha
    on property: hasTopping
  intersection of: Pizza

PowerUnit
type: Class
subclass of: Restriction
subclass of: UnaryUnit
comment: PU = U^exponent, where PU power unit is derived from U unit.

Prefix
type: Class
subclass of: Restriction
comment: A metric prefix or SI prefix is a unit prefix that precedes a basic unit of measure to indicate a decadic multiple or fraction or or binary multiple of the unit. Each prefix has a unique symbol that is prepended to the unit symbol. The use of multiple prefixes are disallowed.

LinearTransformedUnit
type: Class
subclass of: Restriction
subclass of: UnaryUnit
comment: LTU = scale * U + offset, where LTU stands for the linear transformed unit derived from U.

piece
type: NamedIndividual
type: BaseUnit
symbol: (1)

IntervalLevel
type: Class
subclass of: OrdinalLevel
comment: Quantitative attributes are all measurable on interval scales, as any difference between the levels of an attribute can be multiplied by any real number to exceed or equal another difference. A highly familiar example of interval scale measurement is temperature with the Celsius scale. In this particular scale, the unit of measurement is 1/100 of the temperature difference between the freezing and boiling points of water under a pressure of 1 atmosphere. The "zero point" on an interval scale is arbitrary; and negative values can be used. The formal mathematical term is an affine space (in this case an affine line). Variables measured at the interval level are called "interval variables" or sometimes "scaled variables" as they have units of measurement. Ratios between numbers on the scale are not meaningful, so operations such as multiplication and division cannot be carried out directly. But ratios of differences can be expressed; for example, one difference can be twice another. The central tendency of a variable measured at the interval level can be represented by its mode, its median, or its arithmetic mean. Statistical dispersion can be measured in most of the usual ways, which just involved differences or averaging, such as range, interquartile range, and standard deviation. Since one cannot divide, one cannot define measures that require a ratio, such as studentized range or coefficient of variation. More subtly, while one can define moments about the origin, only central moments are useful, since the choice of origin is arbitrary and not meaningful. One can define standardized moments, since ratios of differences are meaningful, but one cannot define coefficient of variation, since the mean is a moment about the origin, unlike the standard deviation, which is (the square root of) a central moment.

persecond
type: NamedIndividual
type: PowerUnit
derived from: second
exponent: -1
symbol: Hz
possible prefix: giga
possible prefix: kilo
possible prefix: mega

bitpersecond
type: NamedIndividual
type: ProductUnit
derived from: persecond
derived from: bit
symbol: bps
possible prefix: giga
possible prefix: kilo
possible prefix: mega

bit
type: NamedIndividual
type: BaseUnit
symbol: bit
possible prefix: giga
possible prefix: kilo
possible prefix: mega

unixtimestamp
type: NamedIndividual
type: BaseUnit
symbol: s
possible prefix: nano

RatioLevel
type: Class
subclass of: IntervalLevel
comment: Most measurement in the physical sciences and engineering is done on ratio scales. Mass, length, time, plane angle, energy and electric charge are examples of physical measures that are ratio scales. The scale type takes its name from the fact that measurement is the estimation of the ratio between a magnitude of a continuous quantity and a unit magnitude of the same kind (Michell, 1997, 1999). Informally, the distinguishing feature of a ratio scale is the possession of a zero value. For example, the Kelvin temperature scale has a non-arbitrary zero point of absolute zero, which is denoted 0K and is equal to -273.15 degrees Celsius. This zero point is accuracy representing the particles that compose matter at this temperature having zero kinetic energy. All statistical measures can be used for a variable measured at the ratio level, as all necessary mathematical operations are defined. The central tendency of a variable measured at the ratio level can be represented by, in addition to its mode, its median, or its arithmetic mean, also its geometric mean or harmonic mean. In addition to the measures of statistical dispersion defined for interval variables, such as range and standard deviation, for ratio variables one can also define measures that require a ratio, such as studentized range or coefficient of variation.

kelvin
type: NamedIndividual
type: BaseUnit
symbol: K

second
type: NamedIndividual
type: BaseUnit
symbol: s
possible prefix: nano
possible prefix: micro
possible prefix: milli
possible prefix: pico

BaseUnit
type: Class
subclass of: Unit
comment: Base units are the simplest unit forms, independent of each other, and they are the profound building blocks for derived units.

N aryUnit
type: Class
subclass of: Unit
comment: N-ary units are derived from more than one unit.

UnaryUnit
type: Class
subclass of: Restriction
subclass of: Unit
comment: Unary unit is a derivative of a single unit.

RegexpTransformedUnit
type: Class
subclass of: Restriction
subclass of: UnaryUnit
comment: This kind of unit is a made-up unary type. The idea behind is that most of the complex functions can be represented as a series of operations based on regular expressions. RTU = Fforward(U) U = Finverse(RTU)

Dimension
type: Class
subclass of: Restriction
comment: Numbers are meaningless for the physicist without the correct use of units. It makes no sense to say "the distance from my house to school is two", unless we follow that statement with "miles" or "kilometers", or whichever unit makes the statement true. We will distinguish between dimension, the abstract quality of a measurement without scale (ie., length), and unit, the quality of a number which specifies a previously agreed upon scale (ie., meters). While dimensional arguments are of primary importance in understanding the qualitative behavior of systems, the use of units are necessary for the predictions we seek.

OrdinalLevel
type: Class
subclass of: NominalLevel
comment: Rank-ordering data simply puts the data on an ordinal scale. Ordinal measurements describe order, but not relative size or degree of difference between the items measured. In this scale type, the numbers assigned to objects or events represent the rank order (1st, 2nd, 3rd, etc.) of the entities assessed. An example of an ordinal scale is the result of a horse race, which says only which horses arrived first, second, or third but include no information about race times. When using an ordinal scale, the central tendency of a group of items can be described by using the group's mode (or most common item) or its median (the middle-ranked item), but the mean (or average) cannot be defined. Thus it is an error to write that an IQ of 160 is just as different from an IQ of 130 as an IQ of 100 is different from an IQ of 70.

giga
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: 9
symbol: G

kilo
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: 3
symbol: k

mega
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: 6
symbol: M

ProductUnit
type: Class
subclass of: Restriction
subclass of: N aryUnit
comment: ProdU = U1 * U2 [... * Ui], where ProdU product unit is derived from multiplying units Ui.

nano
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: -9
symbol: n

regexp
type: DatatypeProperty
range: string
comment: An abstraction of any arbitrary function that can be expressed by regular expressions. The format can be of the following two forms: I. /evalInteger/expresion/operation/ II. /evalIntegerAsString/expression/operation/separator/[...], where [...] stands for a series of operation/separator/ with n repetition. "expression": is a regular expression, which contains grouping eclosed by parenthesis, like "([0-9]*)". These groups are referenced by "\g<?>" within the operation field, where question mark represents the sequence number of the group referenced, starting with 1. "operation": is a mathematical form that may contain operations understood by eval method. For instance: "+, -, *, /, >>", etc. "separator": is the piece of string to be appended to the result of an evaluation, which is already transformed a string. An example: Given a function that maps: {apple1 |-> 10, apple2 |-> 20, ...} can be expressed as follows: /evalInteger/alma([0-9]*)/10*(\g<1>)/ Another example: Given a function that maps: { 11 |-> 1d2u, 32 |-> 3d4u, ...} can be expressed as follows: /evalIntegerAsString/([0-9])([0-9])/(\g<1>)/d/2*(\g<2>)/u/
domain: RegexpTransformedUnit

micro
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: -6
symbol: mu

milli
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: -3
symbol: m

pico
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: -12
symbol: p

NominalLevel
type: Class
subclass of: MeasurementLevel
comment: At the nominal scale, i.e., for a nominal category, one uses labels; for example, rocks can be generally categorized as igneous, sedimentary and metamorphic. For this scale, some valid operations are equivalence and set membership. Nominal measures offer names or labels for certain characteristics. Variables assessed on a nominal scale are called categorical variables. We can use a simple example of a nominal category: the destination port of an IP packet captured. For instance, looking at the destination port values we might find one or more of IP packets with a value 7777. In this scenario 7777 is their label. We can only check whether two packets' destination ports have the same label (equivalence) or whether a given label is in on a certain list of labels (set membership), but it is impossible to say which label is greater or less than another (comparison) or to measure the difference between two labels. Given a set of destination port numbers, we can describe the set by its most common label (the mode), but cannot provide an "average label" or even the "middle label" among all the names. However, if we decide to sort our labels numerically (or to sort them by how many times they appear in a measurement log), we will begin to turn this nominal scale into an ordinal scale.

FilipJelenkovic
type: Person
firstName: Filip

SampleAI
type: ActionItem
title: Sample AI

SampleAILong
type: ActionItem
title: SampleAILong

Donotbelong
type: ActionItem
title: Do not be long

Pasulj
type: Food

RID497b8b60-98db-11e3-84e9-0015583d476c
type: ActionLOG
date: 2014-02-18T20:28:54.937Z
maker: filipnis
member: defaultGraph
semantic store: http://dydra.com/tasor/test/sparql
action: COPY_DEFAULT_GRAPH

RID9680b010-98dc-11e3-84e9-0015583d476c
type: ActionLOG
date: 2014-02-18T20:38:13.65Z
maker: filipnis
member: defaultGraph
semantic store: http://dydra.com/tasor/test/sparql
action: COPY_DEFAULT_GRAPH

RID94b40ff0-98e8-11e3-92fa-00221920ddc7
type: ActionLOG
date: 2014-02-18T22:04:04.593Z
maker: rdfTasor
member: defaultGraph
semantic store: http://dydra.com/tasor/test/sparql
action: COPY_DEFAULT_GRAPH

RIDb1111740-9944-11e3-89d2-001fe26a0a9a
type: ActionLOG
date: 2014-02-19T09:03:25.876Z
maker: filipnis
member: defaultGraph
semantic store: http://dydra.com/tasor/test/sparql
action: COPY_DEFAULT_GRAPH

RIDf4f1fe60-9945-11e3-9006-0015583d476c
type: ActionLOG
date: 2014-02-19T09:12:29.397Z
maker: filipnis
member: defaultGraph
semantic store: http://dydra.com/tasor/test/sparql
action: COPY_DEFAULT_GRAPH

RID1d91ed30-9946-11e3-89d2-001fe26a0a9a
type: ActionLOG
date: 2014-02-19T09:13:37.411Z
maker: filipnis
member: defaultGraph
semantic store: http://dydra.com/tasor/test/sparql
action: COPY_DEFAULT_GRAPH

Pizza Store
subclass of: DomainConcept

Pizza Restaurant
subclass of: Pizza Store

Picerija Krug
type: Pizza Restaurant

likeToEat
type: Property

Calories
subclass of: ValorDaParticao

Pizza corner store
subclass of: Pizza Store

Pizza Online Store
type: Class

sample class
type: Class

DecimalPrefix
type: Class
subclass of: Restriction
subclass of: Prefix
comment: A prefix that precedes a basic unit of measure to indicate a decadic multiple or fraction of the unit. The prefix kilo-, for example, may be added to gram to indicate multiplication by one thousand; one kilogram is equal to one thousand grams (1 km = 1000 m). The prefix centi-, likewise, may be added to metre to indicate division by one hundred; one centimetre is equal to one hundredth of a metre (1 cm = 0.01 m).

MeasurementLevel
type: Class
comment: The "levels of measurement" or scales of measure are expressions that typically refer to the theory of scale types developed by the psychologist Stanley Smith Stevens. Stevens proposed his theory in a 1946 Science article titled "On the theory of scales of measurement". In that article, Stevens claimed that all measurement in science was conducted using four different types of scales that he called "nominal", "ordinal", "interval" and "ratio".

BinaryPrefix
type: Class
subclass of: Restriction
subclass of: Prefix
comment: In computing, a binary prefix is a specifier or mnemonic that is prepended to the units of digital information, the bit and the byte, to indicate multiplication by a power of 2. In practice the powers used are multiples of 10, so the prefixes denote powers of 1024 = 2^10. Starting in about 1998, a number of standards and trade organizations approved standards and recommendations for a new set of binary prefixes, proposed earlier by the International Electrotechnical Commission (IEC), that would refer unambiguously to powers of 1024. According to these, the SI prefixes would only be used in the decimal sense, even when referring to data storage capacities: kilobyte and megabyte would denote one thousand bytes and one million bytes respectively (consistent with SI), while new terms such as kibibyte, mebibyte and gibibyte, abbreviated KiB, MiB, and GiB, would denote 1024 bytes, 1048576 bytes, and 1073741824 bytes respectively.
disjoint with: DecimalPrefix

Byte
type: NamedIndividual
type: LinearTransformedUnit
derived from: bit
scale: 8
symbol: B
possible prefix: giga
possible prefix: kilo
possible prefix: mega
possible prefix: Gibi
possible prefix: Kibi
possible prefix: Mebi
possible prefix: Tebi

Gibi
type: NamedIndividual
type: BinaryPrefix
base: 2
exponent: 30
symbol: Gi

Kibi
type: NamedIndividual
type: BinaryPrefix
base: 2
exponent: 10
symbol: K

Mebi
type: NamedIndividual
type: BinaryPrefix
base: 2
exponent: 20
symbol: Mi

Tebi
type: NamedIndividual
type: BinaryPrefix
base: 2
exponent: 40
symbol: Ti

Bytepersecond
type: NamedIndividual
type: LinearTransformedUnit
derived from: bitpersecond
scale: 8
symbol: Bps
possible prefix: giga
possible prefix: kilo
possible prefix: mega

celsius
type: NamedIndividual
type: LinearTransformedUnit
derived from: kelvin
offset: 273.15
scale: 1
symbol: C

day
type: NamedIndividual
type: LinearTransformedUnit
derived from: second
scale: 86400

deco
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: 1
symbol: da

dozen
type: NamedIndividual
type: LinearTransformedUnit
derived from: piece
scale: 12
symbol: dozen

hecto
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: 2
symbol: h

hour
type: NamedIndividual
type: LinearTransformedUnit
derived from: second
scale: 3600
symbol: h

ipv4int
type: NamedIndividual
type: RegexpTransformedUnit
derived from: ipv4dotted
forward expression: /evalIntegerAsString/([0-9]*)/((\g<1>) & (255 << 24)) >> 24/./((\g<1>) & (255 << 16)) >> 16/./((\g<1>) & (255 << 8)) >> 8/./(\g<1>) & 255//
inverse expression: /evalInteger/(25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)/(\g<1>) << 24 | (\g<2>) << 16 | (\g<3>) << 8 | (\g<4>)/

ipv6int
type: NamedIndividual
type: RegexpTransformedUnit
derived from: ipv6dotted
forward expression: /evalIntegerAsString/([0-9]*)/hex(((\g<1>) & 0xFFFF0000000000000000000000000000) >> 112)/:/hex(((\g<1>) & 0xFFFF000000000000000000000000) >> 96)/:/hex(((\g<1>) & 0xFFFF00000000000000000000) >> 80)/:/hex(((\g<1>) & 0xFFFF0000000000000000) >> 64)/:/hex(((\g<1>) & 0xFFFF000000000000) >> 48)/:/hex(((\g<1>) & 0xFFFF00000000) >> 32)/:/hex(((\g<1>) & 0xFFFF0000) >> 16)/:/hex((\g<1>) & 0xFFFF)//
inverse expression: /evalInteger/([0-9a-fA-F]{0,4}):([0-9a-fA-F]{0,4}):([0-9a-fA-F]{0,4}):([0-9a-fA-F]{0,4}):([0-9a-fA-F]{0,4}):([0-9a-fA-F]{0,4}):([0-9a-fA-F]{0,4}):([0-9a-fA-F]{0,4})/(0x\g<1>)<<112|(0x\g<2>)<<96|(0x\g<3>)<<80|(0x\g<4>)<<64|(0x\g<5>)<<48|(0x\g<6>)<<32|(0x\g<7>)<<16|(0x\g<8>)/

minute
type: NamedIndividual
type: LinearTransformedUnit
derived from: second
scale: 60
symbol: min

month
type: NamedIndividual
type: LinearTransformedUnit
derived from: second
scale: 1814400

percent
type: NamedIndividual
type: LinearTransformedUnit
derived from: fraction
scale: 100
symbol: %

permil
type: NamedIndividual
type: LinearTransformedUnit
derived from: fraction
scale: 1000

tera
type: NamedIndividual
type: DecimalPrefix
base: 10
exponent: 12
symbol: T

week
type: NamedIndividual
type: LinearTransformedUnit
derived from: second
scale: 604800

year
type: NamedIndividual
type: LinearTransformedUnit
derived from: second
scale: 6622560000

RIDb45e78a0-6dc2-11e3-8d22-001fe26a0a9a
type: ActionLOG
date: 2013-12-26T00:14:36.842Z
maker: rdfTasor
member: TSC
semantic store: http://dydra.com/tasor/test/sparql
action: CREATE_STATEMENT

RIDb6af1f60-6dc2-11e3-8d22-001fe26a0a9a
type: ActionLOG
date: 2013-12-26T00:14:40.726Z
maker: rdfTasor
member: TSC
semantic store: http://dydra.com/tasor/test/sparql
action: CREATE_STATEMENT

RID2a308f90-6dc4-11e3-8d22-001fe26a0a9a
type: ActionLOG
date: 2013-12-26T00:25:04.009Z
maker: rdfTasor
member: TSC
semantic store: http://dydra.com/tasor/test/sparql
action: CREATE_STATEMENT

RID2c58c6c0-6dc4-11e3-8d22-001fe26a0a9a
type: ActionLOG
date: 2013-12-26T00:25:07.628Z
maker: rdfTasor
member: TSC
semantic store: http://dydra.com/tasor/test/sparql
action: CREATE_STATEMENT

RIDb4ef3bd0-9944-11e3-89d2-001fe26a0a9a
type: ActionLOG
date: 2014-02-19T09:03:32.365Z
maker: rdfTasor
member: TSC
semantic store: http://dydra.com/tasor/test/sparql
action: CREATE_STATEMENT

RIDb6faea50-9944-11e3-89d2-001fe26a0a9a
type: ActionLOG
date: 2014-02-19T09:03:35.797Z
maker: rdfTasor
member: TSC
semantic store: http://dydra.com/tasor/test/sparql
action: CREATE_STATEMENT

RID1fa738a0-9946-11e3-89d2-001fe26a0a9a
type: ActionLOG
date: 2014-02-19T09:13:40.906Z
maker: rdfTasor
member: TSC
semantic store: http://dydra.com/tasor/test/sparql
action: CREATE_STATEMENT

RID23855d30-9946-11e3-89d2-001fe26a0a9a
type: ActionLOG
date: 2014-02-19T09:13:47.395Z
maker: rdfTasor
member: TSC
semantic store: http://dydra.com/tasor/test/sparql
action: CREATE_STATEMENT