Semantic Tableaux with Ordering Restrictions.
Stefan KlingenbeckReiner HähnlePublished in: CADE (1994)
Keyphrases
- modal logic
- high level
- semantic web
- semantic information
- semantic network
- decision procedures
- semantic level
- semantically meaningful
- semantic search
- semantic features
- functional dependencies
- semantic annotation
- semantically rich
- database
- semantic web technologies
- semantic similarity
- partial order
- relational databases
- multimedia
- artificial intelligence
- information retrieval
- databases
- real time