A description logic with concrete domains and a role-forming predicate operator

DOI10.1093/logcom/9.3.351zbMath0940.03037OpenAlexW2105447467WikidataQ64363119 ScholiaQ64363119MaRDI QIDQ4260086

Carsten Lutz, Volker Haarslev, Ralf Möller

Publication date: 24 July 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/9.3.351

zbMATH Keywords

knowledge representationdescription logicspatial reasoningquery processinggeographic information systemsspatio temporal reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (4)

Querying incomplete information in RDF with SPARQL ⋮ The Galois lattice as a hierarchical structure for topological relations ⋮ Flexible software architectures for ontology-based information systems ⋮ Design and comparison of lattices of topological relations for spatial representation and reasoning

This page was built for publication: A description logic with concrete domains and a role-forming predicate operator