Prolog Based Description Logic Reasoning
From MaRDI portal
Publication:5504674
DOI10.1007/978-3-540-89982-2_40zbMath1185.68675OpenAlexW1513772645MaRDI QIDQ5504674
Gergely Lukácsy, Péter Szeredi, Balázs Kádár
Publication date: 22 January 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_40
Uses Software
Cites Work
- Deciding expressive description logics in the framework of resolution
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- Two Phase Description Logic Reasoning for Efficient Information Retrieval.
- Efficient description logic reasoning in Prolog: The DLog system
- Translating OWL and semantic web rules into prolog: Moving toward description logic programs