Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions (2018)
Attributed to:
HermiT: Reasoning with Large Ontologies
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Journal Article/Review
Volume: 63
Parent Publication: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
ISSN: 1076-9757