Decidability of topological quasi-Boolean algebras.
Yiheng WangZhe LinMinghui MaPublished in: J. Appl. Non Class. Logics (2024)
Keyphrases
- topological spaces
- description logics
- real valued
- spatial reasoning
- boolean functions
- query answering
- directional relations
- information retrieval
- topology preservation
- knowledge representation
- data structure
- type checking
- connected components
- topological properties
- approximation spaces
- topological features
- boolean logic
- databases