Cardinality restrictions on concepts
From MaRDI portal
Publication:1391904
DOI10.1016/S0004-3702(96)00010-0zbMATH Open0907.68181DBLPjournals/ai/BaaderBH96WikidataQ57383734 ScholiaQ57383734MaRDI QIDQ1391904FDOQ1391904
Authors: Franz Baader, Martin Buchheit, Bernhard Hollunder 
Publication date: 23 July 1998
Published in: Artificial Intelligence (Search for Journal in Brave)
Recommendations
- Expressive number restrictions in description logics
- scientific article; zbMATH DE number 1448975
- Presburger concept cardinality constraints in very expressive description logics. Allegro sexagenarioso ma non ritardando
- Satisfiability and query answering in description logics with global and local cardinality constraints
- A new description logic with set constraints and cardinality constraints on role successors
Cites Work
- Generalized quantifiers and natural language
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generalized quantifiers and modal logic
- Reasoning and revision in hybrid representation systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Unification of concept terms in description logics
- Description Logics
- Cardinality Restrictions Within Description Logic Connection Calculi
- Combining Horn rules and description logics in CARIN
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- An alternative proof method for possibilistic logic and its application to terminological logics
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
- Complexity of hybrid logics over transitive frames
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- Quantitative Logic Reasoning
This page was built for publication: Cardinality restrictions on concepts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1391904)
