scientific article; zbMATH DE number 7793282
From MaRDI portal
Publication:6182226
zbMath1528.68367arXiv2208.03092MaRDI QIDQ6182226
Marco Alberti, Evelina Lamma, Riccardo Zese, Fabrizio Riguzzi
Publication date: 23 January 2024
Full work available at URL: https://arxiv.org/abs/2208.03092
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Local closed world reasoning with description logics under the well-founded semantics
- Foundations of a functional approach to knowledge representation
- Tableau reasoning for description logics and its extension to probabilities
- Three-valued semantics for hybrid MKNF knowledge bases revisited
- NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
- On the relative expressiveness of description logics and predicate logics
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty
- Normative Systems Represented as Hybrid Knowledge Bases
- Reconciling description logics and rules
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
- Unnamed Item
- Unnamed Item
This page was built for publication:
