Automated Reasoning Support for First-Order Ontologies.
Peter BaumgartnerFabian M. SuchanekPublished in: PPSWR (2006)
Keyphrases
- automated reasoning
- knowledge representation
- semantic web technologies
- reasoning systems
- theorem proving
- probabilistic reasoning
- first order logic
- theorem prover
- decision procedures
- fuzzy logic
- reasoning tasks
- higher order
- semantic web
- automated verification
- machine learning
- knowledge representation and reasoning
- natural language
- knowledge base
- logic programming
- general purpose
- np hard
- search algorithm