Creating Signature-Based Views for Description Logic Ontologies with Transitivity and Qualified Number Restrictions.
Yue XiangXuan WuChang LuYizheng ZhaoPublished in: WWW (2022)
Keyphrases
- description logics
- number restrictions
- dl lite
- ontology languages
- reasoning services
- semantic web
- inverse roles
- knowledge base
- knowledge representation
- owl dl
- snomed ct
- dl programs
- transitive roles
- owl ontologies
- query rewriting
- reasoning tasks
- computational properties
- medical terminology
- database
- reasoning systems
- exptime complete
- query answering
- reasoning problems
- unions of conjunctive queries
- first order logic
- artificial intelligence
- propositional logic
- conjunctive queries
- data integration
- data model
- databases