Cross Reference: Fact.java
xref
: /
hets
/
OWL2
/
java
/
de
/
unibremen
/
informatik
/
Fact
/
Fact.java
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
package
de
.
unibremen
.
informatik
.
Fact
;
import
org
.
semanticweb
.
owlapi
.
apibinding
.
OWLManager
;
import
org
.
semanticweb
.
owlapi
.
model
.
IRI
;
import
org
.
semanticweb
.
owlapi
.
model
.
OWLOntology
;
import
org
.
semanticweb
.
owlapi
.
model
.
OWLOntologyCreationException
;
import
org
.
semanticweb
.
owlapi
.
model
.
OWLOntologyManager
;
import
org
.
semanticweb
.
owlapi
.
reasoner
.
OWLReasoner
;
import
uk
.
ac
.
manchester
.
cs
.
factplusplus
.
owlapiv3
.
FaCTPlusPlusReasonerFactory
;
class
Fact
{
public
static
void
main
(
String
[]
args
) {
if
(
args
.
length
<
1
) {
System
.
out
.
println
(
"owl_fact <Ontology>"
);
System
.
exit
(
1
);
}
try
{
OWLOntologyManager
manager
=
OWLManager
.
createOWLOntologyManager
();
FaCTPlusPlusReasonerFactory
f =
new
FaCTPlusPlusReasonerFactory
();
IRI
physicalIRI
=
IRI
.
create
(
args
[
0
]);
OWLOntology
ontology
=
manager
.
loadOntologyFromOntologyDocument
(
physicalIRI
);
OWLReasoner
reasoner
= f.
createReasoner
(
ontology
);
Boolean
cons
=
reasoner
.
isConsistent
();
if
(
cons
) {
System
.
out
.
println
(
"consistent"
);
System
.
exit
(
10
);
}
else
{
System
.
out
.
println
(
"inconsistent"
);
System
.
exit
(
20
);
}
}
catch
(
OWLOntologyCreationException
e) {
System
.
out
.
println
(
"The ontology could not be created: "
+ e.
getMessage
());
System
.
exit
(
1
);
}
catch
(
Exception
e) {
System
.
out
.
println
(
"Exception:"
+ e.
getMessage
());
System
.
exit
(
1
);
}
}
}