dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics.
Thomas EiterGiovambattista IanniRoman SchindlauerHans TompitsPublished in: Web Intelligence (2006)
Keyphrases
- semantic web
- knowledge representation
- owl dl
- semantic web technologies
- ontology evolution
- automated reasoning
- web ontology language
- ontology languages
- knowledge management
- semantic web data
- ontology engineering
- knowledge processing
- semantically annotated
- semantic annotation
- description logics
- reasoning tasks
- semantic desktop
- linked data
- reasoning systems
- semantic data
- knowledge base
- semantic web rule language
- semantic technologies
- reasoning problems
- rdf data
- ontology mapping
- interchange format
- theorem prover
- artificial intelligence
- ontology matching
- database
- theorem proving