Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.
Mitio TakanoPublished in: Stud Logica (1987)
Keyphrases
- predicate logic
- formal logic
- semantic network
- knowledge representation and reasoning
- domain knowledge
- semantic net
- knowledge representation
- domain ontology
- temporal logic
- domain specific
- deductive databases
- predicate calculus
- computational linguistics
- knowledge base
- low dimensional
- datalog queries
- lower level
- logical formulas
- description logics
- fluent calculus
- databases
- order sorted
- vector space
- relational databases
- artificial intelligence
- datalog programs
- semantic web
- natural language processing