Bridges from Language to Logic: Concepts, Contexts and Ontologies.
Valeria de PaivaPublished in: LSFA (2010)
Keyphrases
- conceptual graphs
- conceptual models
- owl ontologies
- domain ontology
- knowledge domains
- fixed point semantics
- ontology alignment
- semantic relationships
- ontological reasoning
- modal operators
- concept description language
- contextual knowledge
- mutual understanding
- ontology matching
- proof theory
- related concepts
- concept descriptions
- programming language
- dynamic logic
- representation language
- concurrent programming
- rule engine
- intended meaning
- ontological framework
- formal language
- snomed ct
- concept hierarchy
- logic programming
- background knowledge
- lexical resources
- language constructs
- ontology integration
- intuitionistic logic
- domain specific
- fuzzy ontology
- java programming
- natural language
- highly expressive
- domain knowledge
- knowledge representation
- modal logic
- predicate calculus
- knowledge structures
- formal concept analysis
- ontology mapping
- reasoning services
- knowledge base
- formal descriptions
- order sorted
- ontology engineering
- predicate logic
- model theoretic
- relevant concepts
- logic programs
- mathematical theory
- formal representation
- ontology languages
- knowledge sources
- description logics
- semantic web
- medical terminology
- semi automatic
- domain specific ontologies
- semantic technologies
- operational semantics
- conceptual structures
- ontological concepts
- programs written