week 4 Flashcards

(28 cards)

1
Q

OWL

A

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
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

open world assumption (OWA)

A

nothing is assumed to be true or false unless it is explicit knowledge or derived from axioms or known facts

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

closed world assumption (CWA)

A

if something is not explicitely stated to be true, it is assumed to be false

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

OWL has two kinds of sublevel classes

A
  1. owl:Thing. anything is a thing in OWL
  2. owl:Nothing. is a class that consists of nothing
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Equivalent classes

A

contain the same individuals and have the same definition

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

complement

A

contains all individiuals that are not in the class

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

disjoint classes

A

do not contain all individuals. the 2 classes can never overlap

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

union

A

contains all indiciduals that belong to the classes of the union

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

disjoint union

A

a union of mutually disjoint classes

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

intersection

A

contains individuals that belong to both classes

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

enumerate

A

add up all members of a class

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

object properties

A

connects two objects to each other

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

data type properties

A

connects a value to an object

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

annotation properties

A

of type owl:AnnotationProperty cannot be used in restrictions

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

symmetric property

A

used to specify that a property always holds in both directions

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

asymmetric property

A

used to specify that property never holds in both directions

17
Q

transitive property

A

used to specify that a property propagates over itself

18
Q

functional property

A

used to specify that a property has only one value for any particular instance

19
Q

inverse functional property

A

used to specify that a value for the property uniquely identifies an instance

20
Q

reflexive property

A

used to specify that every individual is always related to itself by that property

21
Q

irreflexive property

A

used to specify that no individual is ever related to itself via that property

22
Q

inverse property

A

used to specify that one property is always the inverse of another property

23
Q

equivalent property

A

used to specify that two properties always co-occur

24
Q

disjoint property

A

used to specify that two properties never co-occur

25
property chain
used to specify that a property propagates over a chain of other properties
26
necessary class restrictions
restrictions about instances in that class, uses rdfs:subClassOf
27
necessary and sufficient class restrictions
are stronger than just necessary restrictions. uses owl:equivalentClass
28
punning
OWL interprets two things as different things if they are used both as concepts and instances even though they have the same name