Reasoning in RDFgraphic formal system with quantifiers .
Alena LukasováMarek VajglMartin ZácekPublished in: IMCSIT (2010)
Keyphrases
- formal models
- logical reasoning
- knowledge base
- reasoning systems
- knowledge representation
- meta level
- automated reasoning
- reasoning process
- knowledge sharing and reuse
- computational properties
- natural language
- first order logic
- knowledge representation and reasoning
- real time
- model based reasoning
- information systems
- legal argument
- formal language
- reasoning tasks
- rule based reasoning
- proof theory
- reasoning engine
- analogical reasoning
- formal representation
- spatial reasoning
- formal specification
- multi agent
- website
- decision making
- social networks
- machine learning
- neural network