Baader et al (eds) - The Description ...

[ Pobierz całość w formacie PDF ]
THEDESCRIPTIONLOGICHANDBOOK:
Theory,implementation,andapplications
Editedby
FranzBaader
DeborahL.McGuinness
DanieleNardi
PeterF.Patel-Schneider
Contents
Listofcontributors page
1
1 AnIntroductiontoDescriptionLogics
D.Nardi,R.J.Brach-
man
5
1.1 Introduction 5
1.2 FromnetworkstoDescriptionLogics 8
1.3 KnowledgerepresentationinDescriptionLogics 16
1.4 Fromtheorytopractice:DescriptionLogicssystems 20
1.5 ApplicationsdevelopedwithDescriptionLogicssystems 24
1.6 ExtensionsofDescriptionLogics 34
1.7 RelationshiptootherfieldsofComputerScience 40
1.8 Conclusion 43
Partone:Theory 45
2 BasicDescriptionLogics
F.Baader,W.Nutt
47
2.1 Introduction 47
2.2 Definitionofthebasicformalism 50
2.3 Reasoningalgorithms 78
2.4 Languageextensions 95
3 ComplexityofReasoning
F.M.Donini
101
3.1 Introduction 101
3.2 OR-branching:findingamodel 105
3.3 AND-branching:findingaclash 112
3.4 Combiningsourcesofcomplexity 119
3.5 Reasoninginthepresenceofaxioms 121
3.6 Undecidability 127
3.7 ReasoningaboutindividualsinABoxes 133
3.8 Discussion 137
3.9 Alistofcomplexityresultsforsubsumptionandsatisfiability 138
iii
iv
Contents
4 RelationshipswithotherFormalisms
U.Sattler,D.Cal-
vanese,R.Molitor
142
4.1 AIknowledgerepresentationformalisms 142
4.2 Logicalformalisms 154
4.3 Databasemodels 166
5 ExpressiveDescriptionLogics
D.Calvanese,G.DeGiacomo
184
5.1 Introduction 184
5.2 CorrespondencebetweenDescriptionLogicsandPropositionalDy-
namicLogics 185
5.3 Functionalrestrictions 192
5.4 Qualifiednumberrestrictions 200
5.5 Objects 204
5.6 Fixpointconstructs 207
5.7 Relationsofarbitraryarity 211
5.8 Finitemodelreasoning 215
5.9 Undecidabilityresults 222
6 ExtensionstoDescriptionLogics
F.Baader,R.K¨usters,
F.Wolter
226
6.1 Introduction 226
6.2 Languageextensions 227
6.3 Non-standardinferenceproblems 257
Parttwo:Implementation 269
7 FromDescriptionLogicProverstoKnowledgeRepresentation
Systems
D.L.McGuinness,P.F.Patel-Schneider
271
7.1 Introduction 271
7.2 Basicaccess 273
7.3 Advancedapplicationaccess 276
7.4 Advancedhumanaccess 280
7.5 Othertechnicalconcerns 286
7.6 Publicrelationsconcerns 286
7.7 Summary 287
8 DescriptionLogicsSystems
R.M¨oller,V.Haarslev
289
8.1 Newlightthrougholdwindows? 289
8.2 Thefirstgeneration 290
8.3 SecondgenerationDescriptionLogicssystems 298
8.4 Thenextgeneration:Fact,DlpandRacer 308
8.5 Lessonslearned 310
Contents
v
9 ImplementationandOptimisationTechniques
I.Horrocks
313
9.1 Introduction 313
9.2 Preliminaries 315
9.3 Subsumptiontestingalgorithms 320
9.4 Theoryversuspractice 324
9.5 Optimisationtechniques 330
9.6 Discussion 354
Partthree:Applications 357
10 ConceptualModelingwithDescriptionLogics
A.Borgida,
R.J.Brachman
359
10.1Background 359
10.2ElementaryDescriptionLogicsmodeling 361
10.3 Individualsintheworld 363
10.4Concepts 365
10.5Subconcepts 368
10.6Modelingrelationships 371
10.7Modelingontologicalaspectsofrelationships 373
10.8Aconceptualmodelingmethodology 378
10.9TheABox:modelingspecificstatesoftheworld 379
10.10Conclusions 381
11 SoftwareEngineering
C.Welty
382
11.1 Introduction 382
11.2Background 382
11.3 Lassie 383
11.4 CodeBase 388
11.5CSISandCBMS 389
12 Configuration
D.L.McGuinness
397
12.1 Introduction 397
12.2Configurationdescriptionandrequirements 399
12.3TheProseandQuestar familyofconfigurators 412
12.4Summary 413
13MedicalInformatics
A.Rector
415
13.1Backgroundandhistory 416
13.2Exampleapplications 419
13.3Technicalissuesinmedicalontologies 425
13.4Ontologicalissuesinmedicalontologies 431
13.5Architectures:terminologyservers,views,andchangemanagement 434
13.6Discussion:keylessonsfrommedicalontologies 435
[ Pobierz całość w formacie PDF ]