Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner: [550] trunk/src/dl-learner/org/dllearner
|
From: <jen...@us...> - 2008-02-12 20:08:52
|
Revision: 550
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=550&view=rev
Author: jenslehmann
Date: 2008-02-12 12:08:48 -0800 (Tue, 12 Feb 2008)
Log Message:
-----------
- support for object/datatype property domains/ranges in DL-Learner OWL core
- carcinogenesis mapper extended
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/core/owl/DataRange.java
trunk/src/dl-learner/org/dllearner/core/owl/Description.java
trunk/src/dl-learner/org/dllearner/core/owl/KBElementVisitor.java
trunk/src/dl-learner/org/dllearner/core/owl/PropertyAxiomVisitor.java
trunk/src/dl-learner/org/dllearner/examples/Carcinogenesis.java
trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIAxiomConvertVisitor.java
Added Paths:
-----------
trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/PropertyDomainAxiom.java
trunk/src/dl-learner/org/dllearner/core/owl/PropertyRange.java
trunk/src/dl-learner/org/dllearner/core/owl/PropertyRangeAxiom.java
Modified: trunk/src/dl-learner/org/dllearner/core/owl/DataRange.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DataRange.java 2008-02-12 15:32:56 UTC (rev 549)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DataRange.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -23,6 +23,6 @@
* @author Jens Lehmann
*
*/
-public abstract class DataRange implements KBElement {
+public abstract class DataRange implements PropertyRange {
}
Added: trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -0,0 +1,70 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.core.owl;
+
+import java.util.Map;
+
+/**
+ * Enumeration of possible types wrapped in a class such that
+ * it is a valid data range.
+ *
+ * @author Jens Lehmann
+ *
+ */
+public class Datatype extends DataRange {
+
+ public enum Type { DOUBLE, INT, BOOLEAN };
+
+ private Type type;
+
+ public Datatype(Type type) {
+ this.type = type;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#accept(org.dllearner.core.owl.KBElementVisitor)
+ */
+ public void accept(KBElementVisitor visitor) {
+ visitor.visit(this);
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#getLength()
+ */
+ public int getLength() {
+ return 1;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
+ */
+ public String toString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
+ /**
+ * @return the type
+ */
+ public Type getType() {
+ return type;
+ }
+
+}
Added: trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -0,0 +1,69 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.core.owl;
+
+import java.util.Map;
+
+/**
+ * @author Jens Lehmann
+ *
+ */
+public class DatatypePropertyDomainAxiom extends PropertyDomainAxiom {
+
+ public DatatypePropertyDomainAxiom(DatatypeProperty property, Description domain) {
+ super(property, domain);
+ }
+
+ @Override
+ public DatatypeProperty getProperty() {
+ return (DatatypeProperty) property;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#getLength()
+ */
+ public int getLength() {
+ return domain.getLength() + 2;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
+ */
+ public String toString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.Axiom#accept(org.dllearner.core.owl.AxiomVisitor)
+ */
+ @Override
+ public void accept(AxiomVisitor visitor) {
+ visitor.visit(this);
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#accept(org.dllearner.core.owl.KBElementVisitor)
+ */
+ public void accept(KBElementVisitor visitor) {
+ visitor.visit(this);
+ }
+
+}
Added: trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -0,0 +1,64 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.core.owl;
+
+import java.util.Map;
+
+/**
+ * @author Jens Lehmann
+ *
+ */
+public class DatatypePropertyRangeAxiom extends PropertyRangeAxiom {
+
+ public DatatypePropertyRangeAxiom(DatatypeProperty property, DataRange domain) {
+ super(property, domain);
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#getLength()
+ */
+ public int getLength() {
+ return range.getLength() + 2;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
+ */
+ public String toString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.Axiom#accept(org.dllearner.core.owl.AxiomVisitor)
+ */
+ @Override
+ public void accept(AxiomVisitor visitor) {
+ visitor.visit(this);
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#accept(org.dllearner.core.owl.KBElementVisitor)
+ */
+ public void accept(KBElementVisitor visitor) {
+ visitor.visit(this);
+ }
+
+}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/Description.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Description.java 2008-02-12 15:32:56 UTC (rev 549)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Description.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -10,7 +10,7 @@
* @author jl
*
*/
-public abstract class Description implements Cloneable, KBElement {
+public abstract class Description implements Cloneable, PropertyRange, KBElement {
protected Description parent = null;
protected List<Description> children = new LinkedList<Description>();
Modified: trunk/src/dl-learner/org/dllearner/core/owl/KBElementVisitor.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/KBElementVisitor.java 2008-02-12 15:32:56 UTC (rev 549)
+++ trunk/src/dl-learner/org/dllearner/core/owl/KBElementVisitor.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -27,6 +27,8 @@
*/
public interface KBElementVisitor extends AxiomVisitor, DescriptionVisitor, PropertyExpressionVisitor {
+ void visit(Datatype datatype);
+
void visit(BooleanDataRange booleanDataRange);
void visit(DoubleMaxValue doubleMaxValue);
Added: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -0,0 +1,65 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.core.owl;
+
+import java.util.Map;
+
+/**
+ * @author Jens Lehmann
+ *
+ */
+public class ObjectPropertyDomainAxiom extends PropertyDomainAxiom {
+
+ public ObjectPropertyDomainAxiom(ObjectProperty property, Description domain) {
+ super(property, domain);
+ }
+
+ @Override
+ public ObjectProperty getProperty() {
+ return (ObjectProperty) property;
+ }
+
+
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#getLength()
+ */
+ public int getLength() {
+ return domain.getLength() + 2;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
+ */
+ public String toString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
+ @Override
+ public void accept(AxiomVisitor visitor) {
+ visitor.visit(this);
+ }
+
+ public void accept(KBElementVisitor visitor) {
+ visitor.visit(this);
+ }
+
+}
Added: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -0,0 +1,67 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.core.owl;
+
+import java.util.Map;
+
+/**
+ * @author Jens Lehmann
+ *
+ */
+public class ObjectPropertyRangeAxiom extends PropertyRangeAxiom {
+
+
+ public ObjectPropertyRangeAxiom(ObjectProperty property, Description domain) {
+ super(property, domain);
+ }
+
+
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#getLength()
+ */
+ public int getLength() {
+ return range.getLength() + 2;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
+ */
+ public String toString(String baseURI, Map<String, String> prefixes) {
+ // TODO Auto-generated method stub
+ return null;
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.Axiom#accept(org.dllearner.core.owl.AxiomVisitor)
+ */
+ @Override
+ public void accept(AxiomVisitor visitor) {
+ visitor.visit(this);
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.KBElement#accept(org.dllearner.core.owl.KBElementVisitor)
+ */
+ public void accept(KBElementVisitor visitor) {
+ visitor.visit(this);
+ }
+
+}
Modified: trunk/src/dl-learner/org/dllearner/core/owl/PropertyAxiomVisitor.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/PropertyAxiomVisitor.java 2008-02-12 15:32:56 UTC (rev 549)
+++ trunk/src/dl-learner/org/dllearner/core/owl/PropertyAxiomVisitor.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -36,4 +36,12 @@
public void visit(TransitiveObjectPropertyAxiom axiom);
public void visit(SubObjectPropertyAxiom axiom);
+
+ void visit(DatatypePropertyDomainAxiom axiom);
+
+ void visit(ObjectPropertyDomainAxiom axiom);
+
+ void visit(DatatypePropertyRangeAxiom axiom);
+
+ void visit(ObjectPropertyRangeAxiom axiom);
}
Added: trunk/src/dl-learner/org/dllearner/core/owl/PropertyDomainAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/PropertyDomainAxiom.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/core/owl/PropertyDomainAxiom.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -0,0 +1,46 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.core.owl;
+
+/**
+ * Axiom to specifiy the domain of a property.
+ *
+ * @author Jens Lehmann
+ *
+ */
+public abstract class PropertyDomainAxiom extends PropertyAxiom {
+
+ Description domain;
+ Property property;
+
+ public PropertyDomainAxiom(Property property, Description domain) {
+ this.property = property;
+ this.domain = domain;
+ }
+
+ public Description getDomain() {
+ return domain;
+ }
+
+ public Property getProperty() {
+ return property;
+ }
+
+}
Added: trunk/src/dl-learner/org/dllearner/core/owl/PropertyRange.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/PropertyRange.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/core/owl/PropertyRange.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -0,0 +1,28 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.core.owl;
+
+/**
+ * @author Jens Lehmann
+ *
+ */
+public interface PropertyRange extends KBElement {
+
+}
Added: trunk/src/dl-learner/org/dllearner/core/owl/PropertyRangeAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/PropertyRangeAxiom.java (rev 0)
+++ trunk/src/dl-learner/org/dllearner/core/owl/PropertyRangeAxiom.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -0,0 +1,40 @@
+/**
+ * Copyright (C) 2007-2008, Jens Lehmann
+ *
+ * This file is part of DL-Learner.
+ *
+ * DL-Learner is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * DL-Learner is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+package org.dllearner.core.owl;
+
+/**
+ * @author Jens Lehmann
+ *
+ */
+public abstract class PropertyRangeAxiom extends PropertyAxiom {
+
+ Property property;
+ PropertyRange range;
+
+ public PropertyRangeAxiom(Property property, PropertyRange range) {
+ this.property = property;
+ this.range = range;
+ }
+
+ public Property getProperty() {
+ return property;
+ }
+
+}
Modified: trunk/src/dl-learner/org/dllearner/examples/Carcinogenesis.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/examples/Carcinogenesis.java 2008-02-12 15:32:56 UTC (rev 549)
+++ trunk/src/dl-learner/org/dllearner/examples/Carcinogenesis.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -28,6 +28,8 @@
import java.util.LinkedList;
import java.util.List;
import java.util.Map;
+import java.util.Set;
+import java.util.TreeSet;
import org.dllearner.core.owl.NamedClass;
import org.dllearner.core.owl.Axiom;
@@ -39,6 +41,7 @@
import org.dllearner.core.owl.KB;
import org.dllearner.core.owl.ObjectProperty;
import org.dllearner.core.owl.ObjectPropertyAssertion;
+import org.dllearner.core.owl.SubClassAxiom;
import org.dllearner.parser.ParseException;
import org.dllearner.parser.PrologParser;
import org.dllearner.prolog.Atom;
@@ -74,6 +77,14 @@
// mapping of symbols to names of chemical elements
private static Map<String,String> chemElements;
+ // types of atoms and bonds
+ private static Set<String> atomTypes = new TreeSet<String>();
+ private static Set<String> bondTypes = new TreeSet<String>();
+
+ // we need a counter for bonds, because they are instances in OWL
+ // but not in Prolog
+ private static int bondNr = 0;
+
/**
* @param args
* No arguments supported.
@@ -120,13 +131,22 @@
}
// prepare mapping
+ KB kb = new KB();
createChemElementsMapping();
+ // create subclasses of atom
+ NamedClass atomClass = getAtomicConcept("Atom");
+ for(String element : chemElements.values()) {
+ NamedClass elClass = getAtomicConcept(element);
+ SubClassAxiom sc = new SubClassAxiom(elClass, atomClass);
+ kb.addAxiom(sc);
+ }
+ // define properties including domain and range
+ // ... TODO ...
// mapping clauses to axioms
System.out.print("Mapping clauses to axioms ... ");
startTime = System.nanoTime();
ArrayList<Clause> clauses = program.getClauses();
- KB kb = new KB();
for (Clause clause : clauses) {
List<Axiom> axioms = mapClause(clause);
for (Axiom axiom : axioms)
@@ -153,8 +173,7 @@
// ArrayList<Literal> literals = body.getLiterals();
// handle: atm(compound,atom,element,atomtype,charge)
if (headName.equals("atm")) {
- // System.out.println(clause.toPLString());
- // System.out.println(clause);
+
String compoundName = head.getArgument(0).toPLString();
String atomName = head.getArgument(1).toPLString();
String elementName = head.getArgument(2).toPLString();
@@ -167,11 +186,47 @@
String atomClass = getAtomClass(elementName, type);
ClassAssertionAxiom ca = getConceptAssertion(atomClass,atomName);
axioms.add(ca);
+ // write subclass axiom if doesn't exist already
+ if(!atomTypes.contains(atomClass)) {
+ NamedClass subClass = getAtomicConcept(atomClass);
+ NamedClass superClass = getAtomicConcept(getFullElementName(elementName));
+ SubClassAxiom sc = new SubClassAxiom(subClass, superClass);
+ axioms.add(sc);
+ atomTypes.add(atomClass);
+ }
// charge of atom
DatatypePropertyAssertion dpa = getDoubleDatatypePropertyAssertion(atomName, "charge", charge);
axioms.add(dpa);
+ } else if(headName.equals("bond")) {
+ String compoundName = head.getArgument(0).toPLString();
+ String atom1Name = head.getArgument(1).toPLString();
+ String atom2Name = head.getArgument(2).toPLString();
+ String bondType = head.getArgument(3).toPLString();
+ String bondClass = "Bond-" + bondType;
+ String bondInstance = "bond" + bondNr;
+ ObjectPropertyAssertion op = getRoleAssertion("hasBond", compoundName, "bond" + bondNr);
+ axioms.add(op);
+ // make Bond-X subclass of Bond if that hasn't been done already
+ if(!bondTypes.contains(bondClass)) {
+ NamedClass subClass = getAtomicConcept(bondClass);
+ SubClassAxiom sc = new SubClassAxiom(subClass, getAtomicConcept("Bond"));
+ axioms.add(sc);
+ bondTypes.add(bondClass);
+ }
+ // make e.g. bond382 instance of Bond-3
+ ClassAssertionAxiom ca = getConceptAssertion(bondClass, bondInstance);
+ axioms.add(ca);
+ bondNr++;
+ // connect atoms with bond
+ ObjectPropertyAssertion op1 = getRoleAssertion("inBond", bondInstance, atom1Name);
+ ObjectPropertyAssertion op2 = getRoleAssertion("inBond", bondInstance, atom2Name);
+ axioms.add(op1);
+ axioms.add(op2);
} else {
// print clauses which are not supported yet
+ System.out.println("unsupported clause");
+ System.out.println(clause.toPLString());
+ System.out.println(clause);
}
return axioms;
}
@@ -193,8 +248,8 @@
return new ObjectPropertyAssertion(ar,ind1,ind2);
}
- private static DoubleDatatypePropertyAssertion getDoubleDatatypePropertyAssertion(String datatypeProperty, String i, double value) {
- Individual ind = getIndividual(i);
+ private static DoubleDatatypePropertyAssertion getDoubleDatatypePropertyAssertion(String individual, String datatypeProperty, double value) {
+ Individual ind = getIndividual(individual);
DatatypeProperty dp = getDatatypeProperty(datatypeProperty);
return new DoubleDatatypePropertyAssertion(dp,ind,value);
}
Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIAxiomConvertVisitor.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIAxiomConvertVisitor.java 2008-02-12 15:32:56 UTC (rev 549)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIAxiomConvertVisitor.java 2008-02-12 20:08:48 UTC (rev 550)
@@ -26,12 +26,16 @@
import org.dllearner.core.owl.Axiom;
import org.dllearner.core.owl.AxiomVisitor;
import org.dllearner.core.owl.ClassAssertionAxiom;
+import org.dllearner.core.owl.DatatypePropertyDomainAxiom;
+import org.dllearner.core.owl.DatatypePropertyRangeAxiom;
import org.dllearner.core.owl.DoubleDatatypePropertyAssertion;
import org.dllearner.core.owl.EquivalentClassesAxiom;
import org.dllearner.core.owl.FunctionalObjectPropertyAxiom;
import org.dllearner.core.owl.InverseObjectPropertyAxiom;
import org.dllearner.core.owl.KB;
import org.dllearner.core.owl.ObjectPropertyAssertion;
+import org.dllearner.core.owl.ObjectPropertyDomainAxiom;
+import org.dllearner.core.owl.ObjectPropertyRangeAxiom;
import org.dllearner.core.owl.SubClassAxiom;
import org.dllearner.core.owl.SubObjectPropertyAxiom;
import org.dllearner.core.owl.SymmetricObjectPropertyAxiom;
@@ -232,6 +236,38 @@
addAxiom(axiomOWLAPI);
}
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.PropertyAxiomVisitor#visit(org.dllearner.core.owl.DatatypePropertyDomainAxiom)
+ */
+ public void visit(DatatypePropertyDomainAxiom datatypePropertyDomainAxiom) {
+ // TODO Auto-generated method stub
+
+ }
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.PropertyAxiomVisitor#visit(org.dllearner.core.owl.ObjectPropertyDomainAxiom)
+ */
+ public void visit(ObjectPropertyDomainAxiom objectPropertyDomainAxiom) {
+ // TODO Auto-generated method stub
+
+ }
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.PropertyAxiomVisitor#visit(org.dllearner.core.owl.DatatypePropertyRangeAxiom)
+ */
+ public void visit(DatatypePropertyRangeAxiom axiom) {
+ // TODO Auto-generated method stub
+
+ }
+
+ /* (non-Javadoc)
+ * @see org.dllearner.core.owl.PropertyAxiomVisitor#visit(org.dllearner.core.owl.ObjectPropertyRangeAxiom)
+ */
+ public void visit(ObjectPropertyRangeAxiom axiom) {
+ // TODO Auto-generated method stub
+
+ }
+
+
+
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
