A Class-Based Logic Language for Ontologies.
Djamal BenslimaneMohand-Said HacidEvimaria TerziFarouk ToumaniPublished in: FQAS (2002)
Keyphrases
- intuitionistic logic
- programming language
- formal language
- semantic web
- knowledge representation
- classical logic
- agent programming
- proof theory
- formal theory
- knowledge base
- conceptual graphs
- modal logic
- natural language
- conditional logic
- domain specific
- semantic technologies
- computational properties
- operational semantics
- semantic relationships
- dynamic logic
- language learning
- rule engine
- precisely defined