scientific article; zbMATH DE number 67501

MaRDI QIDQ4012242zbMATH OpenFDO

Authors Franz Baader, Philipp Hanschke

Publication date 27 September 1992

zbMATH Keywords

terminological logicsconcept language extension by concrete domainsfeature-structure logics

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic of natural languages (03B65) Logic in artificial intelligence (68T27) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 2196595
• NExpTime-complete description logics with concrete domains
• Description logics with aggregates and concrete domains.
• PSpace Reasoning with the Description Logic ALCF(D)
• scientific article; zbMATH DE number 140381

Cited in

(23)

• Unification of concept terms in description logics
• Concrete domains
• scientific article; zbMATH DE number 67502 (Why is no real title available?)
• 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
• \({\mathcal E}\)-connections of abstract description systems
• Hybrid logics and ontology languages
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• scientific article; zbMATH DE number 140398 (Why is no real title available?)
• 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
• Cardinality restrictions on concepts
• Ontology-mediated probabilistic model checking
• 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)