scientific article
From MaRDI portal
Publication:4012242
zbMath0742.68063MaRDI QIDQ4012242
Franz Baader, Philipp Hanschke
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Knowledge representation (68T30) Natural language processing (68T50)
Related Items (18)
Querying incomplete information in RDF with SPARQL ⋮ CoLab: A hybrid knowledge representation and compilation laboratory ⋮ An automata-theoretic approach to constraint LTL ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ Cardinality restrictions on concepts ⋮ On similarity in fuzzy description logics ⋮ A tableau decision procedure for \(\mathcal{SHOIQ}\) ⋮ Data complexity of query answering in expressive description logics via tableaux ⋮ Verification of qualitative \(\mathbb Z\) constraints ⋮ Unification of concept terms in description logics ⋮ An algebraic view on p-admissible concrete domains for lightweight description logics ⋮ Enhancing probabilistic model checking with ontologies ⋮ Using model theory to find decidable and tractable description logics with concrete domains ⋮ Description logics with concrete domains and general concept inclusions revisited ⋮ Taming past LTL and flat counter systems ⋮ Hybrid Logics and Ontology Languages ⋮ Combining interval-based temporal reasoning with general TBoxes ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication:
