org.semanticweb.owlapi.reasoner.ReasonerInternalException: FaCT++ Kernel: unsupported facet 'getPattern'

GitHub | csnyulas | 2 months ago
  1. 0

    FaCT++ Kernel: unsupported facet 'getPattern'.

    GitHub | 2 months ago | csnyulas
    org.semanticweb.owlapi.reasoner.ReasonerInternalException: FaCT++ Kernel: unsupported facet 'getPattern'
  2. 0

    OWL 2 Reasoners and custom datatypes not working

    Stack Overflow | 2 years ago | Gaurav
    org.semanticweb.owlapi.reasoner.ReasonerInternalException: Unsupported datatype 'http://www.semanticweb.org/q49f318b/ontologies/2014/6/untitled-ontology-6#perce ntage' at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.getBuiltInDataType(Nati ve Method) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.toData TypePointer(Unknown Source) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomT ranslator$DeclarationVisitorEx.visit(Unknown Source) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomT ranslator$DeclarationVisitorEx.visit(Unknown Source) at uk.ac.manchester.cs.owl.owlapi.OWLDatatypeImpl.accept(OWLDatatypeImpl .java:338) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomT ranslator.visit(Unknown Source) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomT ranslator.visit(Unknown Source) at uk.ac.manchester.cs.owl.owlapi.OWLDeclarationAxiomImpl.accept(OWLDecl arationAxiomImpl.java:128) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.loadAx iom(Unknown Source) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.loadRe asonerAxioms(Unknown Source) at uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.<init> (Unknown Source)
  3. 0

    Protege: why FaCT++ doesn't report inconsitency?

    Stack Overflow | 8 months ago | JACK M
    org.semanticweb.owlapi.reasoner.ReasonerInternalException: FaCT++ Kernel: unsupported facet 'getLength'
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    Language support

    GitHub | 4 months ago | roholazandie
    org.semanticweb.owlapi.reasoner.ReasonerInternalException: it.unibz.inf.ontop.model.OBDAException: it.unibz.inf.ontop.model.OBDAException: Ontology datatype http://www.w3.org/2001/XMLSchema#string for http://www.semanticweb.org/blah/ontologies/2016/4/TestOntologyVer1.0#SomeRel does not correspond to datatype http://www.w3.org/2000/01/rdf-schema#Literal in mappings

    Root Cause Analysis

    1. org.semanticweb.owlapi.reasoner.ReasonerInternalException

      FaCT++ Kernel: unsupported facet 'getPattern'

      at uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.getPattern()
    2. uk.ac.manchester
      FaCTPlusPlusReasonerFactory.createReasoner
      1. uk.ac.manchester.cs.factplusplus.FaCTPlusPlus.getPattern(Native Method)[na:na]
      2. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$DataRangeTranslator.visit(Unknown Source)[na:na]
      3. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$DataRangeTranslator.visit(Unknown Source)[na:na]
      4. uk.ac.manchester.cs.owl.owlapi.OWLDatatypeRestrictionImpl.accept(OWLDatatypeRestrictionImpl.java:151)[na:na]
      5. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.toDataTypeExpressionPointer(Unknown Source)[na:na]
      6. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$ClassExpressionTranslator.visit(Unknown Source)[na:na]
      7. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$ClassExpressionTranslator.visit(Unknown Source)[na:na]
      8. uk.ac.manchester.cs.owl.owlapi.OWLDataSomeValuesFromImpl.accept(OWLDataSomeValuesFromImpl.java:92)[na:na]
      9. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.toClassPointer(Unknown Source)[na:na]
      10. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator.visit(Unknown Source)[na:na]
      11. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner$AxiomTranslator.visit(Unknown Source)[na:na]
      12. uk.ac.manchester.cs.owl.owlapi.OWLSubClassOfAxiomImpl.accept(OWLSubClassOfAxiomImpl.java:122)[na:na]
      13. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.loadAxiom(Unknown Source)[na:na]
      14. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.loadReasonerAxioms(Unknown Source)[na:na]
      15. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasoner.<init>(Unknown Source)[na:na]
      16. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory.createReasoner(Unknown Source)[na:na]
      17. uk.ac.manchester.cs.factplusplus.owlapiv3.FaCTPlusPlusReasonerFactory.createReasoner(Unknown Source)[na:na]
      17 frames
    3. Protege OWL Editor
      OWLReasonerManagerImpl$ClassificationRunner.run
      1. org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20)[na:na]
      2. org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428)[na:na]
      3. org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386)[na:na]
      3 frames
    4. Java RT
      Thread.run
      1. java.lang.Thread.run(Thread.java:745)[na:1.8.0_40]
      1 frame