On C-Learnability in Description Logics.
Ali Rezaei DivroodiQuang-Thuy HaLinh Anh NguyenHung Son NguyenPublished in: ICCCI (1) (2012)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- boolean functions
- reasoning tasks
- finite automata
- uniform distribution
- dl lite
- computational properties
- model theoretic
- reasoning systems
- knowledge representation formalisms
- ontology languages
- learning algorithm
- semantic web
- computing least common subsumers
- reasoning services
- reasoning problems
- knowledge representation and reasoning
- concept descriptions
- artificial intelligence
- knowledge representation systems
- inductive logic programming
- number restrictions