Resolving Logical Contradictions in Description Logic Ontologies Based on Integer Linear Programming.
Qiu JiKhaoula BoutouhamiGuilin QiPublished in: IEEE Access (2019)
Keyphrases
- integer linear programming
- description logics
- dl lite
- ontology languages
- reasoning services
- snomed ct
- semantic web
- knowledge base
- dl programs
- logical implication
- owl dl
- concept descriptions
- model theoretic
- ontology reasoning
- formal ontologies
- knowledge representation
- semantic web ontologies
- column generation
- owl ontologies
- web ontology language
- semantic mapping
- reasoning mechanism
- ontology mappings
- medical terminology
- computational properties
- reasoning problems
- cutting plane
- biomedical ontologies
- description logic programs
- daml oil
- reasoning tasks
- global constraints
- expressive power
- search algorithm
- data complexity
- machine learning
- special case
- lower bound
- refinement operators