scientific article; zbMATH DE number 67501
From MaRDI portal
Publication:4012242
zbMATH Open0742.68063MaRDI QIDQ4012242FDOQ4012242
Authors: Franz Baader, Philipp Hanschke 
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
Recommendations
Knowledge representation (68T30) Logic of natural languages (03B65) Logic in artificial intelligence (68T27) Natural language processing (68T50)
Cited In (23)
- Unification of concept terms in description logics
- Concrete domains
- Title not available (Why is that?)
- CoLab: A hybrid knowledge representation and compilation laboratory
- Querying incomplete information in RDF with SPARQL
- An automata-theoretic approach to constraint LTL
- Combining interval-based temporal reasoning with general TBoxes
- A tableau algorithm for description logics with concrete domains and general TBoxes
- Data complexity of query answering in expressive description logics via tableaux
- Verification of qualitative \(\mathbb Z\) constraints
- Hybrid logics and ontology languages
- \({\mathcal E}\)-connections of abstract description systems
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Title not available (Why is that?)
- An algebraic view on p-admissible concrete domains for lightweight description logics
- Description logics with concrete domains and general concept inclusions revisited
- Using model theory to find decidable and tractable description logics with concrete domains
- On similarity in fuzzy description logics
- Enhancing probabilistic model checking with ontologies
- Taming past LTL and flat counter systems
- Ontology-mediated probabilistic model checking
- Cardinality restrictions on concepts
- First steps towards taming description logics with strings
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012242)
