scientific article; zbMATH DE number 1765660
From MaRDI portal
Publication:4539596
zbMATH Open0988.68182MaRDI QIDQ4539596FDOQ4539596
Authors: Volker Haarslev, Ralf Möller, Michael Wessel 
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830029
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 2196595
- Description logics with concrete domains and general concept inclusions revisited
- ALC for CLA: towards description logic on concept lattices
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
- A description logic with concrete domains and a role-forming predicate operator
- NExpTime-complete description logics with concrete domains
- scientific article; zbMATH DE number 1765661
- Description logics with aggregates and concrete domains.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract)
Cited In (12)
- A tableau algorithm for description logics with concrete domains and general TBoxes
- RACCOON: A Connection Reasoner for the Description Logic ALC
- Flexible software architectures for ontology-based information systems
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge
- NExpTime-complete description logics with concrete domains
- 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
- Title not available (Why is that?)
- On the scalability of description logic instance retrieval
- Title not available (Why is that?)
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 Q4539596)
