From eb97d21499bfe96b62aef178bd7528a357fb61c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Thu, 22 Mar 2012 15:35:30 +0000
Subject: [PATCH] - translated composition by propertyChainAxioms
---
.../align/impl/renderer/OWLAxiomsRendererVisitor.java | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/src/fr/inrialpes/exmo/align/impl/renderer/OWLAxiomsRendererVisitor.java b/src/fr/inrialpes/exmo/align/impl/renderer/OWLAxiomsRendererVisitor.java
index fb5ef254..20e52455 100644
--- a/src/fr/inrialpes/exmo/align/impl/renderer/OWLAxiomsRendererVisitor.java
+++ b/src/fr/inrialpes/exmo/align/impl/renderer/OWLAxiomsRendererVisitor.java
@@ -711,6 +711,7 @@ public class OWLAxiomsRendererVisitor extends IndentedRendererVisitor implements
increaseIndent();
final Constructor op = e.getOperator();
String owlop = null;
+ if ( op == Constructor.COMP ) owlop = "propertyChainAxiom";
// JE: FOR TESTING
//owlop = "FORTESTING("+op.name()+")";
if ( owlop == null ) throw new AlignmentException( "Cannot translate property construction in OWL : "+op );
@@ -861,7 +862,7 @@ public class OWLAxiomsRendererVisitor extends IndentedRendererVisitor implements
* closure and the compositional closure (or composition) can only be obtained by
* defining a property subsumed by this closure through an axiom.
* It is also possible to rewrite the reflexive closures as axioms as well.
- * But the transitive closure can only be obtained through subsuption.
+ * But the transitive closure can only be obtained through subsumption.
*/
public void visit( final RelationConstruction e ) throws AlignmentException {
Relation toProcessNext = toProcess;
@@ -870,7 +871,11 @@ public class OWLAxiomsRendererVisitor extends IndentedRendererVisitor implements
increaseIndent();
final Constructor op = e.getOperator();
String owlop = null;
- if ( op == Constructor.INVERSE ) owlop = "owl:inverseOf";
+ if ( op == Constructor.INVERSE ) {
+ owlop = "inverseOf";
+ } else if ( op == Constructor.COMP ) {
+ owlop = "propertyChainAxiom";
+ }
// JE: FOR TESTING
//owlop = "FORTESTING("+op.name()+")";
if ( owlop == null ) throw new AlignmentException( "Cannot translate relation construction in OWL : "+op );
--
GitLab