A Call for an Abductive Reasoning Feature in OWL-Reasoning Tools toward Ontology Quality Control.
Michael BadaChris MungallLawrence HunterPublished in: OWLED (2008)
Keyphrases
- quality control
- abductive reasoning
- reasoning tasks
- knowledge representation
- ontology reasoning
- semantic web
- description logics
- machine vision
- knowledge base
- natural language understanding
- semantic web standards
- logic programs
- owl dl
- quality assurance
- owl ontologies
- nonmonotonic reasoning
- web ontology language
- probabilistic logic
- logical representation
- inference rules
- plan recognition
- domain ontology
- automated visual inspection
- ontological reasoning
- manufacturing systems
- reasoning services
- logic programming
- domain knowledge
- artificial intelligence
- automated reasoning
- default reasoning
- temporal reasoning
- image processing
- machine learning
- answer set programming
- first order logic
- semantic information
- expert systems
- metadata