文档介绍：DESCRIPTION LOGICS:
REASONING SUPPORT FOR
THE SEMANTIC WEB
A THESIS SUBMITTED TO THE UNIVERSITY OF MANCHESTER
FOR THE DEGREE OF DOCTOR OF PHILOSOPHY
IN THE FACULTY OF SCIENCE AND ENGINEERING
2004
By
Jeff Z. Pan
School puter Science
Contents
Abstract 10
Declaration 11
Acronyms 12
Acknowledgements 14
1 Introduction 16
Heading for the Semantic Web . . ................... 16
Description Logics and the Semantic Web ............... 18
The Two Issues . . ........................... 20
Objectives . ............................... 22
Reader’s Guide . . ........................... 24
2 Description Logics 26
Foundations ............................... 26
Description Languages . . ................... 27
Knowledge Base . ....................... 29
Reasoning Services ....................... 34
Reasoning Algorithms . . ....................... 37
Description Logics and Datatype Predicates . . . ........... 39
The Concrete Domain Approach . ............... 40
The Type System Approach . . . ............... 44
Limitations of Existing Approaches . . . ........... 47
3 The Semantic Web 50
Annotations and Meaning . ....................... 50
RDF ............................... 50
2
Dublin Core ........................... 52
Ontology . ........................... 53
Web Ontology Languages . ....................... 56
RDFS . . . ........................... 57
OWL . . . ........................... 63
Web Datatype Formalisms ....................... 69
XML Schema Datatypes . ................... 69
RDF(S) Datatyping ....................... 71
OWL Datatyping . ....................... 73
Outlook for the Two Issues ....................... 78
4 An Important Connection 80
RDFS(FA): A DL-ised Sub-language of RDFS . ........... 80
Introduction ........................... 80
.