Verifying Description Logic Ontologies based on Competency Questions and Unit Testing.
Camila BezerraFred FreitasPublished in: ONTOBRAS (2017)
Keyphrases
- description logics
- dl lite
- snomed ct
- ontology languages
- reasoning services
- semantic web
- knowledge base
- unit testing
- knowledge representation
- ontology reasoning
- formal ontologies
- dl programs
- semantic web ontologies
- owl dl
- reasoning mechanism
- semantic mapping
- concept descriptions
- owl ontologies
- ontology mappings
- web ontology language
- medical terminology
- reasoning tasks
- description logic programs
- computational properties
- software testing
- test cases
- biomedical ontologies
- query answering
- daml oil
- reasoning problems
- ontology mapping
- data complexity
- databases
- black box
- artificial intelligence
- query rewriting
- first order logic
- database systems
- case study