Donotbelong
type: ActionItem
title: Do not be long

SampleAI
type: ActionItem
title: Sample AI

SampleAILong
type: ActionItem
title: SampleAILong

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

BinaryPrefix
type: Class
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.
subclass of: Prefix
subclass of: Restriction
disjoint with: DecimalPrefix

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

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

DecimalPrefix
type: Class
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).
subclass of: Prefix
subclass of: Restriction

Dimension
type: Class
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.
subclass of: Restriction

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

IntervalLevel
type: Class
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.
subclass of: OrdinalLevel

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

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

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".

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

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

NominalLevel
type: Class
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.
subclass of: MeasurementLevel

OrdinalLevel
type: Class
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.
subclass of: NominalLevel

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

Prefix
type: Class
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.
subclass of: Restriction

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

RatioLevel
type: Class
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.
subclass of: IntervalLevel

RegexpTransformedUnit
type: Class
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)
subclass of: UnaryUnit
subclass of: Restriction

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

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

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

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

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

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

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

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

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

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

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

ipv4int
type: NamedIndividual
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>)/
type: RegexpTransformedUnit

ipv6int
type: NamedIndividual
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>)/
type: RegexpTransformedUnit

kelvin
type: NamedIndividual
symbol: K
type: BaseUnit

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

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

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

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

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

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

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

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

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

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

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

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

regexp
type: DatatypeProperty
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
range: string

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

metric
type: DatatypeProperty
comment: Individual performance metrics

Calories
subclass of: ValorDaParticao

Pasulj
type: Food

Picerija Krug
type: Pizza Restaurant

Pizza Online Store
type: Class

Pizza Restaurant
subclass of: Pizza Store

Pizza Store
subclass of: DomainConcept

Pizza corner store
subclass of: Pizza Store

likeToEat
type: Property

sample class
type: Class

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.4. Added Food class (used in domain/range of hasIngredient), Added several hasCountryOfOrigin restrictions on pizzas, Made hasTopping invers functional @en
version info: v.1.5. Removed protege.owl import and references. Made ontology URI date-independent @en
version info: version 1.5

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

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

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

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

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

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

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

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

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

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

CoberturaDeQueijo
type: Class
subclass of: CoberturaDaPizza

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

CoberturaDeQueijoComVegetais
type: Class
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
subclass of: CoberturaDeQueijo
subclass of: CoberturaDeVegetais

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

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

BaseEspessa
type: Class
subclass of: BaseDaPizza

Fiorentina
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeEspinafre
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeParmesao
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
  on property: hasTopping
  some values from: CoberturaDeAlho
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: FrutosDoMar
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: PolloAdAstra
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: PizzaAberta
disjoint with: Veneziana

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

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

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

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

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

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

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

Giardiniera
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomateFatiado
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeLeek
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaPeperonata
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
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
  on property: hasTopping
  some values from: CoberturaPetitPois
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCogumelo
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: QuatroQueijos
disjoint with: Rosa

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

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

CoberturaDePimentaoVerde
type: Class
subclass of: CoberturaDePimentao

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

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

Picante
type: Class
subclass of: Tempero

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

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

Sorvete
type: Class
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
subclass of: Food
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeFrutas
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
    min cardinality: 3
    on property: hasTopping
  intersection of: Pizza

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

LaReine
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePresunto
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
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCogumelo
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: PolloAdAstra
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: PizzaAberta
disjoint with: Veneziana

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

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

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

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

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

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

CoberturaDeFrutosDoMarMistos
type: Class
subclass of: CoberturaDePeixe

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

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

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

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

Napoletana
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCaper
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
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
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  has value: Italy
  on property: hasCountryOfOrigin
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAnchovies
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: PizzaAberta

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

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

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

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

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

Parmense
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeParmesao
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
  on property: hasTopping
  some values from: CoberturaDePresunto
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAspargos
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: PolloAdAstra
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: PizzaAberta
disjoint with: Veneziana

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

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

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

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

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

CoberturaPineKernels
type: Class
subclass of: CoberturaDeCastanha

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

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

CoberturaDaPizza
type: Class
subclass of: Food

PolloAdAstra
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCajun
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCebolaVermelha
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePimentaoDoce
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAlho
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
  on property: hasTopping
  some values from: CoberturaDeFrango
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: PizzaAberta

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

CoberturaPrinceCarlo
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeParmesao
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeLeek
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaRosemary
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
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
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Capricciosa
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: PizzaAberta
disjoint with: Veneziana

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

PizzaItalianaReal
type: Class
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
subclass of: Restriction
  all values from: BaseFinaEQuebradica
  on property: hasBase
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    has value: Italy
    on property: hasCountryOfOrigin

CoberturaDeCebolaVermelha
type: Class
subclass of: CoberturaDeCebola

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

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

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

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

Siciliana
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePresunto
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAnchovies
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeArtichoke
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAlho
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
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
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Giardiniera
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: SloppyGiuseppe
disjoint with: PizzaAberta

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

SloppyGiuseppe
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePimentaoVerde
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCebola
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
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
  on property: hasTopping
  some values from: CoberturaDeBifePicante
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Giardiniera
disjoint with: QuatroQueijos
disjoint with: Rosa

Soho
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAlho
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeParmesao
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaRocket
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
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: PolloAdAstra
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: PizzaAberta

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

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

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
    on property: hasTopping
    some values from: Class
      intersection of: Restriction
        on property: hasSpiciness
        some values from: Picante
      intersection of: CoberturaDaPizza
  intersection of: Pizza

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

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

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

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

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

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

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

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

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

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.

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

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
      on property: hasTopping
      some values from: CoberturaDeCarne
  intersection of: Pizza
  intersection of: Class
    complement of: Restriction
      on property: hasTopping
      some values from: CoberturaDePeixe

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

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

Veneziana
type: Class
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaPineKernels
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
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
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  has value: Italy
  on property: hasCountryOfOrigin
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCebola
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaSultana
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCaper
disjoint with: Americana
disjoint with: AmericanaPicante
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: PolloAdAstra
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: PizzaAberta

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

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

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

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

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

FilipJelenkovic
type: Person
firstName: Filip

RID1d91ed30-9946-11e3-89d2-001fe26a0a9a
type: ActionLOG
action: COPY_DEFAULT_GRAPH
date: 2014-02-19T09:13:37.411Z
member: defaultGraph
maker: filipnis

RID1fa738a0-9946-11e3-89d2-001fe26a0a9a
type: ActionLOG
action: CREATE_STATEMENT
date: 2014-02-19T09:13:40.906Z
member: TSC
maker: rdfTasor

RID23855d30-9946-11e3-89d2-001fe26a0a9a
type: ActionLOG
action: CREATE_STATEMENT
date: 2014-02-19T09:13:47.395Z
member: TSC
maker: rdfTasor

RID2a308f90-6dc4-11e3-8d22-001fe26a0a9a
type: ActionLOG
action: CREATE_STATEMENT
date: 2013-12-26T00:25:04.009Z
member: TSC
maker: rdfTasor

RID2c58c6c0-6dc4-11e3-8d22-001fe26a0a9a
type: ActionLOG
action: CREATE_STATEMENT
date: 2013-12-26T00:25:07.628Z
member: TSC
maker: rdfTasor

RID497b8b60-98db-11e3-84e9-0015583d476c
type: ActionLOG
action: COPY_DEFAULT_GRAPH
date: 2014-02-18T20:28:54.937Z
member: defaultGraph
maker: filipnis

RID94b40ff0-98e8-11e3-92fa-00221920ddc7
type: ActionLOG
action: COPY_DEFAULT_GRAPH
date: 2014-02-18T22:04:04.593Z
member: defaultGraph
maker: rdfTasor

RID9680b010-98dc-11e3-84e9-0015583d476c
type: ActionLOG
action: COPY_DEFAULT_GRAPH
date: 2014-02-18T20:38:13.65Z
member: defaultGraph
maker: filipnis

RIDb1111740-9944-11e3-89d2-001fe26a0a9a
type: ActionLOG
action: COPY_DEFAULT_GRAPH
date: 2014-02-19T09:03:25.876Z
member: defaultGraph
maker: filipnis

RIDb45e78a0-6dc2-11e3-8d22-001fe26a0a9a
type: ActionLOG
action: CREATE_STATEMENT
date: 2013-12-26T00:14:36.842Z
member: TSC
maker: rdfTasor

RIDb4ef3bd0-9944-11e3-89d2-001fe26a0a9a
type: ActionLOG
action: CREATE_STATEMENT
date: 2014-02-19T09:03:32.365Z
member: TSC
maker: rdfTasor

RIDb6af1f60-6dc2-11e3-8d22-001fe26a0a9a
type: ActionLOG
action: CREATE_STATEMENT
date: 2013-12-26T00:14:40.726Z
member: TSC
maker: rdfTasor

RIDb6faea50-9944-11e3-89d2-001fe26a0a9a
type: ActionLOG
action: CREATE_STATEMENT
date: 2014-02-19T09:03:35.797Z
member: TSC
maker: rdfTasor

RIDf4f1fe60-9945-11e3-9006-0015583d476c
type: ActionLOG
action: COPY_DEFAULT_GRAPH
date: 2014-02-19T09:12:29.397Z
member: defaultGraph
maker: filipnis

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

Person
type: Class

Thing
type: Class

Spatial 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

image
type: Property
type: ObjectProperty
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
range: Image
sub property of: depiction
term status: testing

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

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

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

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

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

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

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

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

personal mailbox
type: Property
type: InverseFunctionalProperty
type: ObjectProperty
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
range: Thing
term status: stable

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

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

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

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

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

name
type: Property
type: DatatypeProperty
comment: A name for some thing.
domain: Thing
range: Literal
sub property of: label
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

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

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

past project
type: Property
type: ObjectProperty
comment: A project this person has previously worked on.
domain: Person
range: Thing
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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