Expressive number restrictions in description logics

DOI10.1093/logcom/9.3.319zbMath0940.03035OpenAlexW2054800543WikidataQ57383726 ScholiaQ57383726MaRDI QIDQ4260085

Franz Baader, Ulrike Sattler

Publication date: 7 September 1999

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/9b91e552f29ea4966a05533f82eed4812a7f8ef8

zbMATH Keywords

knowledge representationdecidabilitysatisfiabilitydescription logicnumber restrictions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)

Related Items (4)

Reasoning within intuitionistic fuzzy rough description logics ⋮ Satisfiability problem in interval FP-logic ⋮ Branching-Time Temporal Logics with Minimal Model Quantifiers ⋮ Reasoning within expressive fuzzy rough description logics

This page was built for publication: Expressive number restrictions in description logics