Initial Steps Towards a Family of Regular-Like Plan Description Logics.
Alexander BorgidaPublished in: Description Logic, Theory Combination, and All That (2019)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- dl lite
- computational properties
- knowledge representation and reasoning
- knowledge representation formalisms
- reasoning systems
- reasoning problems
- semantic web
- knowledge representation
- ontology languages
- concept descriptions
- special case
- knowledge representation languages
- knowledge representation systems
- fuzzy description logics
- computing least common subsumers
- owl dl
- model theoretic
- current situation
- query answering
- expressive power
- expert systems
- computational complexity