Publication:3408128
From MaRDI portal
zbMath1273.03095MaRDI QIDQ3408128
Jan Hladík, Franz Baader, Carsten Lutz, Frank Wolter
Publication date: 24 February 2010
68T27: Logic in artificial intelligence
68T30: Knowledge representation
03B70: Logic in computer science
03D05: Automata and formal grammars in connection with logical questions
03B35: Mechanization of proofs and logical operations
Related Items
Reasoning and Query Answering in Description Logics, Automata can show PSpace results for description logics, Ontology Integration Using ε-Connections, Ontologies and Databases: The DL-Lite Approach