scientific article; zbMATH DE number 1980927
From MaRDI portal
Publication:4428301
Recommendations
Cited in
(16)- Adding the power-set to description logics
- \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting
- On the relative expressiveness of description logics and predicate logics
- Decidable description logics of context with rigid roles
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
- Cheap Boolean Role Constructors for Description Logics
- Combining description logics, description graphs, and rules
- Expressive number restrictions in description logics
- scientific article; zbMATH DE number 1761427 (Why is no real title available?)
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
- scientific article; zbMATH DE number 1400210 (Why is no real title available?)
- Extending \({\mathcal A}{\mathcal L}{\mathcal C}{\mathcal Q}\) with bounded self-reference
- Role Conjunctions in Expressive Description Logics
- An extension of complex role inclusion axioms in the description logic \(\mathcal{SROIQ}\)
- KI 2005: Advances in Artificial Intelligence
- Beyond \(\mathcal{ALC}_{\textsf{reg}} \): exploring non-regular extensions of PDL with description logics features
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 Q4428301)
