Report on the 1998 International Workshop on Description Logics (DL'98).
Enrico FranconiGiuseppe De GiacomoIan HorrocksDeborah L. McGuinnessWerner NuttPeter F. Patel-SchneiderChristopher A. WeltyPublished in: J. Log. Comput. (1999)
Keyphrases
- description logics
- international workshop
- domain driven data mining
- knowledge base
- reasoning tasks
- dl lite
- expressive description logics
- knowledge representation
- computational properties
- exptime complete
- reasoning systems
- number restrictions
- pacific rim
- semantic web
- reasoning problems
- concept descriptions
- knowledge representation and reasoning
- owl dl
- artificial intelligence
- computing least common subsumers
- formal logic
- knowledge representation formalisms
- reasoning services
- np complete
- model theoretic
- knowledge representation languages
- incomplete information