An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas.

Saved in:
Bibliographic Details
Title: An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas.
Authors: Carral, David1, dcarralma@gmail.com, Zalewski, Joseph2, Hitzler, Pascal2
Source: Journal of Logic & Computation; Jan2023, Vol. 33 Issue 1, p136-162, 27p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:0955792X
DOI:10.1093/logcom/exac032