Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.
Mitio TakanoPublished in: Math. Log. Q. (1991)
Keyphrases
- semantic web
- proof search
- domain ontology
- knowledge representation
- domain specific
- sequent calculus
- domain knowledge
- machine translation
- knowledge base
- cut elimination
- semantically enhanced
- upper level
- conceptual modeling
- cross language information retrieval
- linear logic
- query translation
- ontology mapping
- machine translation system
- theorem proving
- ontological framework
- theorem prover
- semantic information
- co occurrence
- artificial intelligence
- requirement analysis
- owl dl ontologies
- ontology development
- ontology construction
- ontology driven
- ontology alignment
- semantically rich
- statistical machine translation