A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
Domenico CantoneCristiano LongoMarianna Nicolosi AsmundoPublished in: CSL (2011)
Keyphrases
- description logics
- set theory
- exptime complete
- first order logic
- knowledge representation
- knowledge base
- tight complexity bounds
- dl lite
- reasoning tasks
- partial order
- transitive closure
- semantic web
- function free horn
- mathematical morphology
- propositional logic
- partially ordered
- expressive power
- data mining
- fuzzy set theory
- fuzzy sets
- multi dimensional
- reasoning problems
- binary images
- natural language
- knowledge representation languages
- artificial intelligence