BibSonomy
::
bibtex
::
tag
user
group
author
concept
BibTeX key
search:all
search:marciomr
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
marciomr
's BibTeX entry:
The Description Logic Handbook
2003.
Editors:
Franz
Baader
and Diego
Calvanese
and Deborah
McGuinness
and Daniele
Nardi
and Peter
Patel-Schneider
Tags:
DLs
|
BibTeX
@book{DLHandbook,
title = {The Description Logic Handbook},
editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter Patel-Schneider},
publisher = {Cambridge University Press},
year = {2003},
keywords = {DLs }
}
relations
AI
←
KR
DLs
←
OWL
SHIQ
KR
←
ATMS
belief_revision
DLs
TMS
logic
←
belief_revision
DLs
OWL
←
OWL-S
tags
AI
algorithm
ATMS
base_revision
belief_revision
benchmark
category
Chaff
checking
cognitive
computability
computation
concurrence
debugging
diagnosis
DLs
enviroment
evolution
hybrid_systems
impresso
incision
inconsistency
jena
knowledge
KR
level
logic
logics
minimal_change
model
negation
ontology
OWL
OWL-S
OWL_API
planning
probability
proceedings
progams
RACER
relevance
representation
responsive
SAT
selection
semantic-web
semantic_web
semantics
semi_revision
set
SHIQ
SHOQ
solver
symbol
symbols
tableau
theory
TMS
uncertainty
universal_algebra
update
web-services