StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web.
Alessandra MileoAhmed AbdelrahmanSean PolicarpioManfred HauswirthPublished in: RR (2013)
Keyphrases
- description logic programs
- knowledge representation
- multi context systems
- knowledge base
- default rules
- open world
- description logics
- semantic web
- representing knowledge
- dl programs
- data streams
- ontology evolution
- ontology reasoning
- reasoning systems
- real time
- reasoning problems
- logic programming
- owl dl
- probabilistic knowledge
- truth maintenance systems
- nonmonotonic reasoning
- default logic
- nonmonotonic inference
- ontology languages
- automated reasoning
- reasoning process
- default reasoning
- web ontology language
- semantic web technologies
- knowledge representation languages
- metadata
- nonmonotonic logics
- legal reasoning
- semantic web data
- information flow
- modal logic
- logic programs
- object oriented