Search results

List properties for which the domain includes a given class.

Status: Open.

#14 In phillord/hermit-reasoner;

· lolive opened on Jul 23, 2023

Disjoint classes inference resolution time

Status: Open.

#13 In phillord/hermit-reasoner;

· areleu opened on Feb 24, 2023

maven failure

Status: Open.

#12 In phillord/hermit-reasoner;

· justin2004 opened on Nov 4, 2022

Configuration.tableauMonitorType is final??

Status: Open.

#11 In phillord/hermit-reasoner;

· dendrown opened on Feb 18, 2020

Reasoner::getReasonerName returns null

Status: Open.

#9 In phillord/hermit-reasoner;

· balhoff opened on Apr 10, 2018

Incorrect inference of equivalent properties: using inverse(R) and HermiT

Status: Open.

#8 In phillord/hermit-reasoner;

· ykazakov opened on Dec 15, 2017

Error parsing XML literals

Status: Open.

#7 In phillord/hermit-reasoner;

· rsgoncalves opened on May 16, 2017

getSuperClasses bug?

Status: Open.

#5 In phillord/hermit-reasoner;

· kodymoodley opened on Aug 13, 2016

Maven build fails

Status: Open.

#4 In phillord/hermit-reasoner;

· jmvanel opened on Jun 30, 2016