Database Reference
In-Depth Information
Construct
Rabbit
Manchester OWL Syntax
Object One Of
Every UK Country is
exactly one of
England or Wales
or Northern Ireland
or Scotland.
Class: UKCountry
ObjectOneOf: england, wales,
northern_ireland, Scotland
Object Exact
Cardinality
Every River Stretch
has part exactly
one Channel.
Class: RiverStretch
SubClassOf: hasPart exactly 1
Channel
Object Min Cardinality Every River Stretch
has part at least
two Banks.
Class: RiverStretch
SubClassOf: hasPart min 2 Bank
Object Max Cardinality Every River Stretch
has part at most
two confluences.
Class: RiverStretch
SubClassOf: hasPart max 2
Confluence
Class Assertion
England is a
Country.
Individual: england
Type: Country
Same Individual
Portsmouth and
Pompey are the same
thing.
Individual: portsmouth
SameAs: pompey
Different Individual
England and Scotland
are different
things.
Individual: England
DifferentFrom: scotland
Object Property
Assertion
Portsmouth is
located in
Hampshire.
Individual: portsmouth
Facts: isLocatedIn hampshire
Negative Object
Property Assertion
Portsmouth is not
located in
Scotland.
Individual: portsmouth
NegativeObjectPropertyAssertion:
isLocatedIn scotland
Object Property Range The relation
“is capital city of”
can only have a
Country as an
object.
ObjectProperty: isCapitalCityOf
Range: Country
Object Property
Domain
The “is capital city
of” relationship
can only have a
Capital City as
a subject.
ObjectProperty: isCapitalCityOf
Domain: CapitalCity
Datatype Property
Range
The relation
“has name” can only
have a String as
a value.
DataProperty: haName
Range: xsd:string
Equivalent Object
Properties
The relationships
“is inside” and
“is within” are
equivalent.
ObjectProperty: isInside
EquivalentTo: isWithin
continued
Search WWH ::




Custom Search