Semantic Web Reasoning with Conceptual Logic Programs.
Stijn HeymansDavy Van NieuwenborghDirk VermeirPublished in: RuleML (2004)
Keyphrases
- semantic web
- logic programs
- computational properties
- knowledge representation
- logic programming
- reasoning tasks
- stable models
- answer set programming
- fixpoint
- description logics
- answer sets
- background knowledge
- knowledge base
- knowledge representation and reasoning
- linked data
- semantic web technologies
- semantic annotation
- ontology languages
- reasoning systems
- automated reasoning
- probabilistic reasoning
- knowledge management
- rdf data
- deductive databases
- linked open data
- databases
- reasoning problems
- semantic data
- nonmonotonic reasoning
- artificial intelligence