scientific article; zbMATH DE number 1765660
From MaRDI portal
Publication:4539596
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
- Flexible software architectures for ontology-based information systems
- RACCOON: A Connection Reasoner for the Description Logic ALC
- 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
- scientific article; zbMATH DE number 7234173 (Why is no real title available?)
- On the scalability of description logic instance retrieval
- scientific article; zbMATH DE number 1765661 (Why is no real title available?)
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)
