Reasoning About Typicality in ALC and EL.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: Description Logics (2009)
Keyphrases
- description logics
- knowledge base
- probabilistic knowledge
- dl lite
- fuzzy description logics
- reasoning tasks
- modal operators
- knowledge representation
- semantic web
- upper bound
- description logic alc
- spatial reasoning
- mobile robot
- three dimensional
- case study
- data sets
- multi agent systems
- multiscale
- query answering
- qualitative reasoning
- image processing
- search engine
- data mining
- practical reasoning
- database