Stack Overflow
Stack Overflow

Questions tagged [fact++]

The new generation of FaCT OWL-DL reasoner, based on C++.

FaCT++ is the new generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with a different internal architecture. Additionally, FaCT++ is implementated using C++ in order to create a more efficient software tool, and to maximise portability.

11 questions
2
votes
1 answer

How save the result of reasoner FaCT++ or HermiT in Protege

I'm using Protégé 4.3 and I want to save the results of the reasoner to the ontology file. When I stopped the reasoner, all results disappeared. How can I save results?
user2304064
  • 25
  • 4
1
vote
0 answers

Implement Fact++ reasoner in OWLAPI5

How can I add Fact++ reasoner in my OWLAPI5 Application? I added Fact++ dependency in pom.xml but when I run, I received this Exception: Exception in thread "main" uk.ac.manchester.cs.factplusplus.FaCTPlusPlusException: …
Ritulla
  • 33
  • 3
1
vote
0 answers

Why OWL-DL reasoning is so efficient?

It has always been hard to me to understand why OWL-DL reasoning is so efficient in real-world application. For example, I often use ontologies which are in ALCQI fragment processed by the Fact++ reasoner, and it is well-known that concept…
Wall
  • 293
  • 3
  • 13
1
vote
2 answers

Reasoner returns no instances of owl:Thing, but Abox contains instances

I have two ontologies, photo1 and index. Photo1 contains ABox assertions, and index contains Tbox assertions. OWLOntologyManager manager = OWLManager.createOWLOntologyManager(); OWLOntology photo1 = manager.loadOntologyFromOntologyDocument(new…
Noor
  • 19,638
  • 38
  • 136
  • 254
0
votes
1 answer

Installation Fact++: fatal error: jni.h: No such file or directory

I'm installing the FACT++ library, but when I do the make I get this error: cc1plus: warning: /usr/lib/jvm/java-11-openjdk-amd64/include/jni.h: not a directory In file included from Axioms.cpp:21:0: …
RB_Code
  • 1
  • 2
0
votes
1 answer

Retrieve inferred object property filler in OWL ontology

How can I retrieve for each class in my ontology O all (inferred) existential restrictions? My current approach is to iterate over all pairs of classes and object properties, and check if the restriction is satisfied: for each subclass (C, D) in…
user1447265
  • 3
  • 2
0
votes
1 answer

what are datatypes supported by FACT ++?

I am working in Ontology but when I used FACT++ in Protege , FACT++ throws me an error. I have reading about the datatypes error with FACT++ but I can´t found the datatypes supported by FACT++. I am reading in…
Antonio Edgar Martinez
  • 43
  • 4
0
votes
2 answers

how to install fact++ Plugin for protege and enable start Reasoner

hi i am new to protege . i downloaded protege 4.0.2 and made an ontology in it but it seems like that i dont have any reasoner to check its consistency. it is also showing a reasoner tab but after selecting fact++ i dont see any changes. if i have…
aquaman
  • 1,523
  • 5
  • 20
  • 39
0
votes
3 answers

QCRs vs functional property

I have question based on the topic: SOF - Einstein puzzle in OWL In the owl, all cardinality restrictions are based on functional and inverse functional properties of Object Properties. I have remodeled it using QCRs. Old model (example): man…
Michal Joštiak
  • 161
  • 9
0
votes
1 answer

Compare Data Property values using Protege and Fact++

Using protege I'm trying to compare string values with data properties. E.g.: I have a country class, and in that class I have an individual with a hasCountryName data property set to "England". I'm using a defined class, and what I want to do is…
Richard
  • 1,559
  • 2
  • 12
  • 15
-1
votes
1 answer

FaCT++ reasoner for OWL Protege

I downloaded OWL Protege 4.3. I built an ontology and I want to check the consistency of a given configuration. I'm totally new to the software and I don't know how to use faCT++ with OWL protege. I can see that I can select a reasoner from…
Alice
  • 117
  • 5
  • 16