scientific article
From MaRDI portal
Publication:3408128
zbMath1273.03095MaRDI QIDQ3408128
Jan Hladík, Franz Baader, Carsten Lutz, Frank Wolter
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Mechanization of proofs and logical operations (03B35)
Related Items (4)
Automata can show PSpace results for description logics ⋮ Reasoning and Query Answering in Description Logics ⋮ Ontology Integration Using ε-Connections ⋮ Ontologies and Databases: The DL-Lite Approach
This page was built for publication:
