-
ESmodels: An Epistemic Specification Solver
ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic... -
Ontology dataset
The dataset used in the paper is a collection of ontologies, including OWL and RDF ontologies. -
Real-world diagnosis problems
The dataset used in the paper is a collection of real-world diagnosis problems, including spreadsheets, circuits, and ontologies.
