Keyphrases
- description logics
- clone detection
- knowledge base
- knowledge representation
- linux kernel
- software reuse
- reasoning problems
- string matching
- dl lite
- computing least common subsumers
- software systems
- ontology languages
- snomed ct
- operating system
- reasoning services
- machine learning
- semantic web
- logic programs
- owl dl
- distributed systems
- case study