Menu
▾
▴
[cweb-CVS] rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner OwlRuleModel.java, 1.6, 1.7 RdfsRuleModel.java, 1.6, 1.7 TruthMaintenanceStrategy.java, 1.1, 1.2 BasicClassificationRuleModel.java, 1.1, 1.2 BaseAxioms.java, 1.4, 1.5 GProof.java, 1.18, 1.19 Axioms.java, 1.4, 1.5
|
From: Mike P. <mrp...@us...> - 2007-07-13 22:24:01
|
Update of /cvsroot/cweb/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner In directory sc8-pr-cvs4.sourceforge.net:/tmp/cvs-serv6910/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner Modified Files: OwlRuleModel.java RdfsRuleModel.java TruthMaintenanceStrategy.java BasicClassificationRuleModel.java BaseAxioms.java GProof.java Axioms.java Log Message: Fixed owl:sameAs Index: Axioms.java =================================================================== RCS file: /cvsroot/cweb/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner/Axioms.java,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** Axioms.java 17 Mar 2006 14:25:41 -0000 1.4 --- Axioms.java 13 Jul 2007 22:23:51 -0000 1.5 *************** *** 50,54 **** import org.openrdf.model.Statement; - import org.openrdf.model.URI; --- 50,53 ---- Index: BaseAxioms.java =================================================================== RCS file: /cvsroot/cweb/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner/BaseAxioms.java,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** BaseAxioms.java 17 Mar 2006 14:25:41 -0000 1.4 --- BaseAxioms.java 13 Jul 2007 22:23:51 -0000 1.5 *************** *** 50,56 **** import java.util.Set; import org.openrdf.model.Statement; import org.openrdf.model.URI; - import org.openrdf.model.Resource; import org.openrdf.model.Value; import org.openrdf.model.impl.URIImpl; --- 50,56 ---- import java.util.Set; + import org.openrdf.model.Resource; import org.openrdf.model.Statement; import org.openrdf.model.URI; import org.openrdf.model.Value; import org.openrdf.model.impl.URIImpl; Index: TruthMaintenanceStrategy.java =================================================================== RCS file: /cvsroot/cweb/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner/TruthMaintenanceStrategy.java,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** TruthMaintenanceStrategy.java 11 Apr 2006 00:13:16 -0000 1.1 --- TruthMaintenanceStrategy.java 13 Jul 2007 22:23:51 -0000 1.2 *************** *** 1,6 **** package org.CognitiveWeb.sesame.sailimpl.generic.reasoner; - import org.CognitiveWeb.sesame.sailimpl.generic.GRdfSchemaRepository; - import org.CognitiveWeb.sesame.sailimpl.generic.model.GGraph; import org.CognitiveWeb.sesame.sailimpl.generic.model.GStatement; import org.openrdf.model.Resource; --- 1,4 ---- Index: BasicClassificationRuleModel.java =================================================================== RCS file: /cvsroot/cweb/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner/BasicClassificationRuleModel.java,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** BasicClassificationRuleModel.java 1 Aug 2006 15:03:15 -0000 1.1 --- BasicClassificationRuleModel.java 13 Jul 2007 22:23:51 -0000 1.2 *************** *** 49,53 **** import java.util.Arrays; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.*; /** --- 49,56 ---- import java.util.Arrays; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs11; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs5; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs7; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs9; /** Index: RdfsRuleModel.java =================================================================== RCS file: /cvsroot/cweb/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner/RdfsRuleModel.java,v retrieving revision 1.6 retrieving revision 1.7 diff -C2 -d -r1.6 -r1.7 *** RdfsRuleModel.java 30 Jul 2006 15:04:56 -0000 1.6 --- RdfsRuleModel.java 13 Jul 2007 22:23:51 -0000 1.7 *************** *** 49,53 **** import java.util.Arrays; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.*; /** --- 49,66 ---- import java.util.Arrays; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.ContainerMembership; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdf1; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs10; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs11; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs12; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs13; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs2; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs3; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs4; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs5; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs6; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs7; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs8; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.Rdfs9; /** Index: GProof.java =================================================================== RCS file: /cvsroot/cweb/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner/GProof.java,v retrieving revision 1.18 retrieving revision 1.19 diff -C2 -d -r1.18 -r1.19 *** GProof.java 30 Jul 2006 13:41:54 -0000 1.18 --- GProof.java 13 Jul 2007 22:23:51 -0000 1.19 *************** *** 45,55 **** package org.CognitiveWeb.sesame.sailimpl.generic.reasoner; ! import org.CognitiveWeb.generic.*; ! ! import org.openrdf.model.Statement; ! import org.CognitiveWeb.sesame.sailimpl.generic.model.GGraph; import org.CognitiveWeb.sesame.sailimpl.generic.model.GStatement; import org.CognitiveWeb.sesame.sailimpl.generic.model.RDFPropertySchema; /** --- 45,54 ---- package org.CognitiveWeb.sesame.sailimpl.generic.reasoner; ! import org.CognitiveWeb.generic.IGeneric; ! import org.CognitiveWeb.generic.IGenericSkin; import org.CognitiveWeb.sesame.sailimpl.generic.model.GGraph; import org.CognitiveWeb.sesame.sailimpl.generic.model.GStatement; import org.CognitiveWeb.sesame.sailimpl.generic.model.RDFPropertySchema; + import org.openrdf.model.Statement; /** Index: OwlRuleModel.java =================================================================== RCS file: /cvsroot/cweb/rdf-generic/src/java/org/CognitiveWeb/sesame/sailimpl/generic/reasoner/OwlRuleModel.java,v retrieving revision 1.6 retrieving revision 1.7 diff -C2 -d -r1.6 -r1.7 *** OwlRuleModel.java 1 Aug 2006 16:55:40 -0000 1.6 --- OwlRuleModel.java 13 Jul 2007 22:23:51 -0000 1.7 *************** *** 47,51 **** package org.CognitiveWeb.sesame.sailimpl.generic.reasoner; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.*; /** --- 47,53 ---- package org.CognitiveWeb.sesame.sailimpl.generic.reasoner; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.OwlSameAs1; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.OwlSameAs2; ! import org.CognitiveWeb.sesame.sailimpl.generic.reasoner.rules.OwlSameAs3; /** |
