Keyphrases
- description logics
- finite automata
- knowledge base
- knowledge representation
- reasoning tasks
- computational properties
- boolean functions
- dl lite
- learning algorithm
- reasoning systems
- knowledge representation formalisms
- ontology languages
- inductive logic programming
- model theoretic
- reasoning problems
- uniform distribution
- knowledge representation and reasoning
- concept class
- semantic web
- owl dl
- number restrictions
- membership queries
- expert systems
- concept descriptions
- web services
- reasoning services