litvinovg/vitro
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

merging NIHVIVO-3028 from branch

Browse source
This commit is contained in:
stellamit 2011-07-23 03:06:03 +00:00
parent 199a5f6c2f
commit 3a853c54f8
2 changed files with 49 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

65
webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java
View file

@ -366,14 +366,19 @@ public class SimpleReasoner extends StatementListener {
if (parentClass.isAnon()) continue;
Statement infStmt = ResourceFactory.createStatement(stmt.getSubject(), RDF.type, parentClass);
inferenceModel.enterCriticalSection(Lock.WRITE);
aboxModel.enterCriticalSection(Lock.READ);
try {
if (!inferenceModel.contains(infStmt) && !infStmt.equals(stmt) ) {
//log.debug("Adding this inferred statement: " + infStmt.toString() );
inferenceModel.add(infStmt);
inferenceModel.enterCriticalSection(Lock.WRITE);
try {
if (!inferenceModel.contains(infStmt) && !aboxModel.contains(infStmt)) {
//log.debug("Adding this inferred statement: " + infStmt.toString() );
inferenceModel.add(infStmt);
}
} finally {
inferenceModel.leaveCriticalSection();
}
} finally {
inferenceModel.leaveCriticalSection();
aboxModel.leaveCriticalSection();
}
}
} else {
@ -435,13 +440,18 @@ public class SimpleReasoner extends StatementListener {
}
Statement infStmt = ResourceFactory.createStatement(stmt.getSubject(), superProp, stmt.getObject());
inferenceModel.enterCriticalSection(Lock.WRITE);
aboxModel.enterCriticalSection(Lock.READ);
try {
if (!inferenceModel.contains(infStmt) && !infStmt.equals(stmt) ) {
inferenceModel.add(infStmt);
inferenceModel.enterCriticalSection(Lock.WRITE);
try {
if (!inferenceModel.contains(infStmt) && !aboxModel.contains(infStmt) ) {
inferenceModel.add(infStmt);
}
} finally {
inferenceModel.leaveCriticalSection();
}
} finally {
inferenceModel.leaveCriticalSection();
aboxModel.leaveCriticalSection();
}
}
} else {
@ -458,7 +468,6 @@ public class SimpleReasoner extends StatementListener {
* that B is of that type.
*
*/
public void removedABoxTypeAssertion(Statement stmt, Model inferenceModel) {
tboxModel.enterCriticalSection(Lock.READ);
@ -474,6 +483,20 @@ public class SimpleReasoner extends StatementListener {
cls = tboxModel.getOntClass(stmt.getObject().asResource().getURI());
if (cls != null) {
if (entailedType(stmt.getSubject(),cls)) {
inferenceModel.enterCriticalSection(Lock.WRITE);
try {
//don't have to check aboxmodel here because this is the
//statement being removed.
if (!inferenceModel.contains(stmt)) {
inferenceModel.add(stmt);
}
} finally {
inferenceModel.leaveCriticalSection();
}
return;
}
List<OntClass> parents = null;
parents = (cls.listSuperClasses(false)).toList();
@ -652,14 +675,19 @@ public class SimpleReasoner extends StatementListener {
}
for (Resource subject : subjectList) {
Statement infStmt = ResourceFactory.createStatement(subject, RDF.type, superClass);
inferenceModel.enterCriticalSection(Lock.WRITE);
aboxModel.enterCriticalSection(Lock.READ);
try {
if (!inferenceModel.contains(infStmt)) {
inferenceModel.add(infStmt);
setMostSpecificTypes(subject, inferenceModel, new HashSet<String>());
}
if (!inferenceModel.contains(infStmt) ) {
if (!aboxModel.contains(infStmt)) {
inferenceModel.add(infStmt);
}
setMostSpecificTypes(infStmt.getSubject(), inferenceModel, new HashSet<String>());
}
} finally {
inferenceModel.leaveCriticalSection();
aboxModel.leaveCriticalSection();
}
}
}
@ -672,7 +700,6 @@ public class SimpleReasoner extends StatementListener {
* of A (including A itself)
*/
public void removedSubClass(OntClass subClass, OntClass superClass, Model inferenceModel) {
log.debug("subClass = " + subClass.getURI() + ". superClass = " + superClass.getURI());
OntModel unionModel = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM);
unionModel.addSubModel(aboxModel);
unionModel.addSubModel(inferenceModel);
@ -688,14 +715,16 @@ public class SimpleReasoner extends StatementListener {
aboxModel.leaveCriticalSection();
}
for (Resource ind : subjectList) {
if (entailedType(ind,superClass)) continue;
if (entailedType(ind,superClass)) {
continue;
}
Statement infStmt = ResourceFactory.createStatement(ind, RDF.type, superClass);
inferenceModel.enterCriticalSection(Lock.WRITE);
try {
if (inferenceModel.contains(infStmt)) {
inferenceModel.remove(infStmt);
setMostSpecificTypes(infStmt.getSubject(), inferenceModel, new HashSet<String>());
}
setMostSpecificTypes(ind, inferenceModel, new HashSet<String>());
} finally {
inferenceModel.leaveCriticalSection();
}
@ -709,8 +738,6 @@ public class SimpleReasoner extends StatementListener {
*/
public void addedSubProperty(OntProperty subProp, OntProperty superProp, Model inferenceModel) {
log.debug("subProperty = " + subProp.getURI() + " superProperty = " + subProp.getURI());
if ( !((subProp.isObjectProperty() && superProp.isObjectProperty()) || (subProp.isDatatypeProperty() && superProp.isDatatypeProperty())) ) {
log.warn("sub-property and super-property do not have the same type. No inferencing will be performed. sub-property: " + subProp.getURI() + " super-property:" + superProp.getURI());
return;

2
webapp/test/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasonerTest.java
View file

@ -1116,7 +1116,7 @@ public class SimpleReasonerTest extends AbstractTestClass {
classE.setLabel("class E", "en-US");
OntClass classF = tBox.createClass("http://test.vivo/F");
classE.setLabel("class F", "en-US");
classF.setLabel("class F", "en-US");
OntClass classG = tBox.createClass("http://test.vivo/G");
classE.setLabel("class G", "en-US");