Issues

• Wrong subsumptions with datatype restrictions: the complement of a facet restriction is treated as empty

  owlcs/jfact#27 · Filter by author muddymudskipper opened on Oct 14, 2026

• Class hierarchy misses a subsumption that isEntailed confirms

  owlcs/jfact#26 · Filter by author muddymudskipper opened on Oct 13, 2026

• getObjectLabel does not work (not returning simple concepts)

  owlcs/jfact#25 · Filter by author boborova3 opened on Jun 26, 2022

• In toy owl file with subclass(B,A), reasoner infers Equivalent(Nothing, Thing)

  owlcs/jfact#24 · Filter by author iamcrowd opened on Mar 15, 2022
  3

• IndividualName does not have a correct reverse mapping

  owlcs/jfact#22 · Filter by author OndrejZamazal opened on Sep 10, 2020

• Version for Protege 5.2.0?

  owlcs/jfact#18 · Filter by author msinclair2 opened on Sep 11, 2017
  7

• check stackoverflow issue

  owlcs/jfact#17 · Filter by author ignazio1977 opened on Jun 28, 2017
  1

• Equivalent classes not correctly inferred

  owlcs/jfact#16 · Filter by author matentzn opened on May 11, 2017
  1

• Get Datatype Range of Data Property

  owlcs/jfact#15 · Filter by author paulrinckens opened on Feb 7, 2017

• StackOverflow in JFactReasonerConfiguration::LogAdapterStream

  owlcs/jfact#13 · Filter by author andredd opened on Sep 6, 2016

• .dispose throws NPE

  bug
  owlcs/jfact#11 · Filter by author phillord opened on Feb 6, 2016
  3

• Unexpected number format exception on checking ontology consistency in owlapi-jfact 4.0.0

  owlcs/jfact#3 · Filter by author rchallen opened on Dec 3, 2014
  7

• Add ByteBuffer based serialization

  owlcs/jfact#1 · Filter by author ignazio1977 opened on Sep 6, 2013