Login / Signup

Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies.

Jing LiDantong OuyangYuxin Ye
Published in: Int. J. Softw. Informatics (2023)
Keyphrases