Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
From MaRDI portal
Publication:3016275
DOI10.2478/v10006-011-0006-1zbMath1221.68239OpenAlexW1966177435MaRDI QIDQ3016275
Publication date: 15 July 2011
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/208039
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Attributive concept descriptions with complements
- Logic-based subsumption architecture
- Programming constraint services. High-level programming of standard and new constraint services
- lean\(T^ AP\): Lean tableau-based deduction
- An overview of tableau algorithms for description logics