scientific article; zbMATH DE number 2196595
From MaRDI portal
Publication:5465445
zbMath1082.03032MaRDI QIDQ5465445
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items
Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints ⋮ Querying incomplete information in RDF with SPARQL ⋮ Combining event calculus and description logic reasoning via logic programming ⋮ An automata-theoretic approach to constraint LTL ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ On similarity in fuzzy description logics ⋮ Description logic on image graphs ⋮ Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ Data complexity of query answering in expressive description logics via tableaux ⋮ Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes ⋮ Linking Data to Ontologies ⋮ Reasoning within fuzzy OWL 2 EL revisited ⋮ Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge ⋮ Fuzzy description logics with general t-norms and datatypes ⋮ On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions ⋮ Combining interval-based temporal reasoning with general TBoxes ⋮ \({\mathcal E}\)-connections of abstract description systems
