Bisimulation-Based Concept Learning in Description Logics.
Thanh-Luong TranQuang-Thuy HaThi-Lan-Giao HoangLinh Anh NguyenHung Son NguyenPublished in: Fundam. Informaticae (2014)
Keyphrases
- concept learning
- description logics
- knowledge base
- knowledge representation
- dl lite
- inductive logic programming
- semantic web
- constructive induction
- reasoning problems
- reasoning tasks
- concept descriptions
- computational properties
- feature construction
- knowledge representation formalisms
- reasoning services
- computing least common subsumers
- artificial intelligence
- inductive learning
- ontology languages
- negative examples
- model checking
- number restrictions
- learning algorithm