week 4 Flashcards
(28 cards)
OWL
Web Ontology Language, a well understood and expressive language,
- no unique naming assumption,
- open world assumption,
- classes are interpreted as sets,
- axioms restrict the potential members of a class
open world assumption (OWA)
nothing is assumed to be true or false unless it is explicit knowledge or derived from axioms or known facts
closed world assumption (CWA)
if something is not explicitely stated to be true, it is assumed to be false
OWL has two kinds of sublevel classes
- owl:Thing. anything is a thing in OWL
- owl:Nothing. is a class that consists of nothing
Equivalent classes
contain the same individuals and have the same definition
complement
contains all individiuals that are not in the class
disjoint classes
do not contain all individuals. the 2 classes can never overlap
union
contains all indiciduals that belong to the classes of the union
disjoint union
a union of mutually disjoint classes
intersection
contains individuals that belong to both classes
enumerate
add up all members of a class
object properties
connects two objects to each other
data type properties
connects a value to an object
annotation properties
of type owl:AnnotationProperty cannot be used in restrictions
symmetric property
used to specify that a property always holds in both directions
asymmetric property
used to specify that property never holds in both directions
transitive property
used to specify that a property propagates over itself
functional property
used to specify that a property has only one value for any particular instance
inverse functional property
used to specify that a value for the property uniquely identifies an instance
reflexive property
used to specify that every individual is always related to itself by that property
irreflexive property
used to specify that no individual is ever related to itself via that property
inverse property
used to specify that one property is always the inverse of another property
equivalent property
used to specify that two properties always co-occur
disjoint property
used to specify that two properties never co-occur