Reasoning in Expressive Extensions of the RDF Semantics.
Michael SchneiderPublished in: ESWC (2) (2011)
Keyphrases
- open world
- owl dl
- formal semantics
- knowledge base
- highly expressive
- knowledge representation formalisms
- reasoning tasks
- default theories
- argumentation semantics
- semantic web
- truth maintenance systems
- description logics
- rdf graphs
- knowledge representation languages
- default rules
- proof theory
- default logic
- reasoning systems
- knowledge representation
- abstract argumentation
- logical framework
- reasoning problems
- linked data
- data model
- web ontology language
- reasoning mechanisms
- meta information
- reasoning mechanism
- closed world
- computational properties
- logic programming
- default reasoning
- proof theoretic
- reasoning process
- markup language
- object oriented data models
- logical rules
- sparql queries
- rdf data
- graphical representation
- fuzzy description logics
- rdf schema
- metadata
- uml class diagrams
- ontology languages
- automated reasoning
- domain ontology
- model theoretic
- belief revision
- first order logic
- data sources
- database systems
- xml keys
- semantic web languages