Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning.
Javier ÁlvezPaqui LucioGerman RigauPublished in: Int. J. Semantic Web Inf. Syst. (2012)
Keyphrases
- knowledge base
- knowledge representation
- general knowledge
- wordnet
- higher order
- probabilistic logic
- reasoning systems
- first order logic
- domain knowledge
- ontology reasoning
- owl dl
- reasoning services
- automated reasoning
- reasoning tasks
- knowledge representation and reasoning
- universally quantified
- reasoning process
- qualitative reasoning
- domain specific
- natural language