Attempto controlled English as a semantic web language

Introduction......Page 11
Why ACE?......Page 12
Contributions......Page 13
Organization of the thesis......Page 14
Introduction......Page 16
Attempto Controlled English......Page 17
Phrases......Page 18
Declarative sentences......Page 21
More features......Page 22
Quantifiers and their scope......Page 23
Anaphora resolution......Page 24
Syntax......Page 26
Semantics as a mapping to first-order logic......Page 27
DRS as a meaning-representation of ACE sentences......Page 28
Other versions of controlled English......Page 33
Common Logic Controlled English (CLCE)......Page 34
E2V and other fragments of English......Page 35
Introduction......Page 37
Syntax......Page 38
Semantics......Page 39
OWL 1.1 Functional-Style Syntax......Page 41
RDF-based syntaxes......Page 42
Manchester OWL Syntax......Page 44
Structured Ontology Format......Page 45
Natural language can eliminate problems that one encounters when using OWL......Page 46
Overview of related work......Page 51
Rabbit......Page 53
Jarrar et al......Page 54
CLOnE......Page 55
Differences between ACE and OWL......Page 57
Reversibility......Page 58
Compatibility with ACE semantics......Page 60
Independence from tools......Page 61
Internationalized Resource Identifiers......Page 62
Common nouns as named classes......Page 64
Transitive verbs as object properties......Page 65
Reversibility of morphological mappings......Page 67
Introduction......Page 68
Removing embedded implications......Page 69
Rolling up the condition lists......Page 70
Example......Page 71
DRSOWL algorithm......Page 72
Error messages......Page 83
Incompleteness......Page 85
ACE2 construction rules......Page 86
Formal grammar of ACE2......Page 88
Rewriting OWL SubClassOf-axioms......Page 96
Verbalization algorithm......Page 102
Relationship between ACE1 and ACE2......Page 103
Deeply nested and branching class descriptions......Page 104
DisjointUnion and other short-hand constructs......Page 105
ObjectAllValuesFrom......Page 106
Introduction......Page 108
Implementation......Page 109
Data ranges......Page 110
Classes defined via data properties and data ranges......Page 111
Data property axioms......Page 112
Expressing data properties in ACE......Page 113
Introduction......Page 115
DL Queries......Page 116
Conjunctive queries......Page 117
Semantic Web Rule Language (SWRL)......Page 118
Expressing SWRL in ACE......Page 119
ACEOWL/SWRL translator......Page 121
OWL verbalizer......Page 122
Protégé and ACE View......Page 123
Index......Page 124
Inferences......Page 125
Debug......Page 128
Introduction......Page 130
Hydrology ontology......Page 131
GALEN ontology......Page 133
Conclusion......Page 135
Conclusions and future work......Page 137
Summary in Estonian......Page 139
Bibliography......Page 141
Curriculum vitae......Page 152
List of original publications......Page 156