Using a Dependently-Typed Language for Expressing Ontologies.
Richard DapoignyPatrick BarlatierPublished in: KSEM (2011)
Keyphrases
- knowledge representation
- lambda calculus
- programming language
- conceptual graphs
- natural language
- higher order
- semantic web
- precisely defined
- language learning
- databases
- ontology reasoning
- owl ontologies
- domain ontology
- domain specific
- representation language
- knowledge base
- information retrieval
- database
- background knowledge
- knowledge management
- expert systems
- semantic relations
- high level
- target language
- semantic technologies
- semantic representations
- reasoning mechanism
- artificial intelligence