SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy.
Alejandro L. GrossoJosé M. Turull TorresPublished in: Conceptual Modelling and Its Theoretical Foundations (2012)
Keyphrases
- semantic distance
- special case
- semantic web
- truth table
- higher order
- semantic network
- semantic similarity
- hierarchical structure
- logic programming
- semantic annotation
- finite sets
- high level
- semantic knowledge
- classical logic
- natural language
- logical representation
- hierarchically organized
- bounded treewidth
- semantic description
- semantic representation
- higher level
- modal logic
- high order
- semantic information
- semantically related
- multi valued
- predicate logic
- deontic logic
- xml documents
- wordnet