Contrary description logic: Gentzen deduction system.
Wei LiYuefei SuiJie LuoBo ChenPublished in: Sci. China Inf. Sci. (2017)
Keyphrases
- description logics
- knowledge representation
- inference rules
- knowledge base
- reasoning tasks
- reasoning systems
- semantic web
- theorem proving
- computational properties
- sequent calculus
- concept descriptions
- model theoretic
- computing least common subsumers
- dl lite
- horn clauses
- ontology languages
- reasoning problems
- ontology reasoning
- owl dl
- reasoning services
- owl ontologies
- reasoning mechanism
- theorem prover
- number restrictions
- knowledge representation languages
- logical implication
- expressive power
- terminological knowledge