Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers.
Kalliopi KravariConstantinos PapatheodorouGrigoris AntoniouNick BassiliadesPublished in: RuleML Europe (2011)
Keyphrases
- logical framework
- multi agent
- proof theory
- web services
- knowledge base
- proof theoretic
- linear logic
- semantic web
- reasoning engine
- knowledge representation
- metadata
- intuitionistic logic
- ontology evolution
- heterogeneous systems
- semantic technologies
- logic programming
- abductive reasoning
- natural deduction
- ontology matching
- computational properties
- logical rules
- probabilistic logic