Automated Theorem Proving by Translation to Description Logic.
Negin ArhamiGeoff SutcliffePublished in: LPAR (short papers) (2015)
Keyphrases
- description logics
- automated theorem proving
- theorem prover
- theorem proving
- answer set programming
- knowledge base
- reasoning tasks
- knowledge representation
- computational properties
- concept descriptions
- snomed ct
- dl lite
- machine translation
- reasoning problems
- reasoning services
- ontology languages
- computing least common subsumers
- first order logic
- reasoning mechanism
- automated reasoning
- ontology reasoning
- data model
- high level
- logical implication
- dl programs
- knowledge representation languages
- owl ontologies
- owl dl
- classical logic
- data mining
- random variables
- semantic web
- machine learning