OWL: Web Ontology Language

wafflebazaarInternet και Εφαρμογές Web

21 Οκτ 2013 (πριν από 3 χρόνια και 8 μήνες)

94 εμφανίσεις

OWL: Web Ontology Language
OWL: Web本体语言
王鑫博士讲师
天津大学计算机学院
2013-03-27
wangx@tju.edu.cn
2
3
4
5
6
7
8
9
OWL constructors
10
11
12
13
14
RDF/XML syntax
15
16
17
Datatypes
•An important feature of OWL
–besides “abstract”classes defined by the ontology,
one can also use XML Schema datatypes
–in
someValuesFrom, allValuesFrom
, and
hasValue
18
19
20
21
OWL axioms
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
Further Reading
•Description Logics
–[Baader, 2009] Description Logics.
–[Baaderet al., 2007] The Description Logic Handbook: Theory,
Implementation, and Applications.
–[Horrockset al., 2006] The even more irresistible SROIQ.
•OWL
–W3C Recommendation Documents
•[OWL Working Group, 2009] OWL 2 Web Ontology Language: Document
Overview.
•[Motiket al., 2009b] OWL 2 Web Ontology Language: Structural Specification and
Functional-Style Syntax.
•[Motiket al., 2009a] OWL 2 Web Ontology Language: Direct Semantics.
•[Patel-Schneider and Motik, 2009] OWL 2 Web Ontology Language: Mapping to
RDF Graphs.
•[Hitzleret al., 2009a] OWL 2 Web Ontology Language: Primer.
45
Further Reading
•Semantic Web
–[Hitzleret al., 2009b] Foundations of Semantic Web Technologies.
•AI and Knowledge Representation
–[Russell and Norvig, 2003] Artificial Intelligence: A Modern Approach.
–[Sowa, 1984] Conceptual Structures: Information Processing in Mind
and Machine.
–[van Harmelen et al., 2008] Handbook of Knowledge Representation.
•Complexity Theory
–[Papadimitriou, 1994] Computational Complexity.
Exercises
47
What is the equivalent DL expression?
<owl:Class>
<owl:intersectionOfrdf:parseType=" collection">
<owl:Class rdf:about="#Person"/>
<owl:Restriction>
<owl:onPropertyrdf:resource="#hasChild"/>
<owl:allValuesFrom>
<owl:unionOfrdf:parseType="collection">
<owl:Class rdf:about="#Doctor"/>
<owl:Restriction>
<owl:onPropertyrdf:resource="#hasChild"/>
<owl:someValuesFromrdf:resource="#Doctor"/>
</owl:Restriction>
</owl:unionOf>
</owl:allValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
Exercise 1
48
Exercise 2
•Translate the knowledge base Example 21 and the initial
axiom from Example 33 into OWL ontologiesin Turtle syntax.
49
Exercise 3
•Use the tableau algorithm from the lecture to decide
whether the following subsumptionholds:
where the TBoxis:
…the end of the slides …