// Copyright (c) 2006 - 2008, Clark & Parsia, LLC. <http://www.clarkparsia.com>
// This source code is available under the terms of the Affero General Public License v3.
//
// Please see LICENSE.txt for full license terms, including the availability of proprietary exceptions.
// Questions, comments, or requests for clarification: licensing@clarkparsia.com
package com.clarkparsia.pellet.test.rbox;
import static com.clarkparsia.pellet.utils.TermFactory.all;
import static com.clarkparsia.pellet.utils.TermFactory.hasValue;
import static com.clarkparsia.pellet.utils.TermFactory.inv;
import static com.clarkparsia.pellet.utils.TermFactory.list;
import static com.clarkparsia.pellet.utils.TermFactory.not;
import static com.clarkparsia.pellet.utils.TermFactory.some;
import static com.clarkparsia.pellet.utils.TermFactory.term;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertFalse;
import static org.junit.Assert.assertTrue;
import static org.mindswap.pellet.test.PelletTestCase.addStatements;
import static org.mindswap.pellet.test.PelletTestCase.assertIteratorValues;
import static org.mindswap.pellet.test.PelletTestCase.assertPropertyValues;
import java.util.Arrays;
import junit.framework.JUnit4TestAdapter;
import org.junit.Ignore;
import org.junit.Test;
import org.mindswap.pellet.KnowledgeBase;
import org.mindswap.pellet.Role;
import org.mindswap.pellet.jena.PelletInfGraph;
import org.mindswap.pellet.jena.PelletReasonerFactory;
import org.mindswap.pellet.test.AbstractKBTests;
import org.mindswap.pellet.test.PelletTestSuite;
import org.mindswap.pellet.utils.ATermUtils;
import aterm.ATermAppl;
import com.hp.hpl.jena.ontology.ObjectProperty;
import com.hp.hpl.jena.ontology.OntClass;
import com.hp.hpl.jena.ontology.OntModel;
import com.hp.hpl.jena.rdf.model.Model;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.Resource;
/**
* <p>
* Title:
* </p>
* <p>
* Description:
* </p>
* <p>
* Copyright: Copyright (c) 2009
* </p>
* <p>
* Company: Clark & Parsia, LLC. <http://www.clarkparsia.com>
* </p>
*
* @author Evren Sirin
*/
public class PropertyChainTests extends AbstractKBTests {
public static String base = "file:" + PelletTestSuite.base + "misc/";
public static junit.framework.Test suite() {
return new JUnit4TestAdapter( PropertyChainTests.class );
}
@Test
public void testInversesInPropertyChain() {
ATermAppl hasMother = term( "hasMother" );
ATermAppl hasParent = term( "hasParent" );
ATermAppl hasSibling = term( "hasSibling" );
ATermAppl hasChild = term( "hasChild" );
individuals(a, b, c);
objectProperties(hasMother, hasParent, hasSibling, hasChild);
kb.addSubProperty( hasMother, hasParent );
kb.addInverseProperty( hasChild, hasParent );
kb.addSubProperty( list( hasParent, hasChild ), hasSibling );
kb.addPropertyValue( hasMother, a, c );
kb.addPropertyValue( hasMother, b, c );
assertTrue( kb.hasPropertyValue( a, hasSibling, b ) );
assertTrue( kb.hasPropertyValue( b, hasSibling, a ) );
assertIteratorValues( kb.getPropertyValues( hasSibling, a ).iterator(), new ATermAppl[] { a, b } );
assertIteratorValues( kb.getPropertyValues( hasSibling, b ).iterator(), new ATermAppl[] { a, b } );
}
@Test
public void testAnonymousInversesInPropertyChain() {
ATermAppl hasMother = term( "hasMother" );
ATermAppl hasParent = term( "hasParent" );
ATermAppl hasSibling = term( "hasSibling" );
individuals(a, b, c);
objectProperties(hasMother, hasParent, hasSibling);
kb.addSubProperty( hasMother, hasParent );
kb.addSubProperty( list( hasParent, inv( hasParent ) ), hasSibling );
kb.addIndividual( a );
kb.addIndividual( b );
kb.addIndividual( c );
kb.addPropertyValue( hasMother, a, c );
kb.addPropertyValue( hasMother, b, c );
assertTrue( kb.hasPropertyValue( a, hasSibling, b ) );
assertTrue( kb.hasPropertyValue( b, hasSibling, a ) );
assertIteratorValues( kb.getPropertyValues( hasSibling, a ).iterator(), new ATermAppl[] { a, b } );
assertIteratorValues( kb.getPropertyValues( hasSibling, b ).iterator(), new ATermAppl[] { a, b } );
}
@Test
public void testRoleAbsorptionWithPropertyChain() {
classes( A, B, C, D );
objectProperties( p, q, r );
kb.addSubProperty( list( p, q ), r );
kb.addSubClass( C, B );
kb.addEquivalentClass( C, some( r, D ) );
kb.addSubClass( A, some( p, some( q, D ) ) );
assertTrue( kb.isSubClassOf( A, C ) );
kb.classify();
assertTrue( kb.isSubClassOf( A, C ) );
}
@Ignore("See ticket #294")
@Test
public void testNestedPropertyChains() throws Exception {
individuals(a, b, c, d);
objectProperties(p, q, r, s, f);
kb.addTransitiveProperty( r );
kb.addTransitiveProperty( s );
kb.addSubProperty( list( p, q ), r );
kb.addSubProperty( list( r, s ), f );
kb.addPropertyValue( p, a, b );
kb.addPropertyValue( q, b, c );
kb.addPropertyValue( s, c, d );
assertTrue( kb.hasPropertyValue( a, f, d ) );
assertTrue( kb.isType( a, hasValue( f, d ) ) );
}
@Ignore("See ticket #294")
@Test
public void testTransitivePropertyChain() throws Exception {
classes(C, D);
objectProperties(p, q, r);
kb.addSubProperty(list(p, q), r);
kb.addTransitiveProperty(p);
kb.addSubClass(C, some(p, some(q, some(p, some(q, D)))));
kb.addSubClass(C, all(r, not(D)));
assertFalse(kb.isSatisfiable(C));
}
@Test
public void testSimplePropertyChain() {
KnowledgeBase kb = new KnowledgeBase();
ATermAppl C = term( "C" );
ATermAppl D = term( "D" );
ATermAppl p = term( "p" );
ATermAppl q = term( "q" );
ATermAppl r = term( "r" );
ATermAppl a = term( "a" );
ATermAppl b = term( "b" );
ATermAppl c = term( "c" );
kb.addObjectProperty( p );
kb.addObjectProperty( q );
kb.addObjectProperty( r );
kb.addSubProperty( list( p, q ), r );
kb.addClass( C );
kb.addClass( D );
kb.addSubClass( C, some( p, some( q, all( inv( r ), D ) ) ) );
kb.addIndividual( a );
kb.addIndividual( b );
kb.addIndividual( c );
kb.addPropertyValue( p, a, b );
kb.addPropertyValue( q, b, c );
assertTrue( kb.isSubClassOf( C, D ) );
assertTrue( kb.hasPropertyValue( a, r, c ) );
assertEquals( Arrays.asList( c ), kb.getPropertyValues( r, a ) );
}
@Test
public void invalidCycle1() {
KnowledgeBase kb = new KnowledgeBase();
ATermAppl B = term( "B" );
ATermAppl C = term( "C" );
ATermAppl D = term( "D" );
ATermAppl p = term( "p" );
ATermAppl q = term( "q" );
ATermAppl r = term( "r" );
ATermAppl a = term( "a" );
ATermAppl b = term( "b" );
ATermAppl c = term( "c" );
ATermAppl d = term( "d" );
kb.addObjectProperty( p );
kb.addObjectProperty( q );
kb.addObjectProperty( r );
kb.addSubProperty( list( p, q, r ), q );
kb.addClass( B );
kb.addClass( C );
kb.addClass( D );
kb.addSubClass( B, some( p, some( q, some( r, D ) ) ) );
kb.addSubClass( C, some( q, D ) );
kb.addIndividual( a );
kb.addIndividual( b );
kb.addIndividual( c );
kb.addIndividual( d );
kb.addPropertyValue( p, a, b );
kb.addPropertyValue( q, b, c );
kb.addPropertyValue( r, c, d );
kb.prepare();
assertTrue( kb.getRole(q).isSimple() );
assertFalse( kb.isSubClassOf( B, C ) );
assertFalse( kb.hasPropertyValue( a, q, c ) );
assertTrue( kb.getPropertyValues( q, a ).isEmpty() );
}
@Test
public void validCycle1() {
KnowledgeBase kb = new KnowledgeBase();
ATermAppl C = term( "C" );
ATermAppl D = term( "D" );
ATermAppl p = term( "p" );
ATermAppl q = term( "q" );
ATermAppl r = term( "r" );
ATermAppl a = term( "a" );
ATermAppl b = term( "b" );
ATermAppl c = term( "c" );
ATermAppl d = term( "d" );
kb.addObjectProperty( p );
kb.addObjectProperty( q );
kb.addObjectProperty( r );
kb.addSubProperty( list( p, q, r ), p );
kb.addClass( C );
kb.addClass( D );
kb.addSubClass( C, some( p, some( q, some( r, all( inv( p ), D ) ) ) ) );
kb.addIndividual( a );
kb.addIndividual( b );
kb.addIndividual( c );
kb.addIndividual( d );
kb.addPropertyValue( p, a, b );
kb.addPropertyValue( q, b, c );
kb.addPropertyValue( r, c, d );
kb.prepare();
assertFalse( kb.getRole(p).isSimple() );
assertTrue( kb.isSubClassOf( C, D ) );
assertTrue( kb.hasPropertyValue( a, p, d ) );
assertIteratorValues( kb.getPropertyValues( p, a ).iterator(), new ATermAppl[] { b, d } );
}
@Test
public void validCycle3() {
KnowledgeBase kb = new KnowledgeBase();
ATermAppl C = term( "C" );
ATermAppl D = term( "D" );
ATermAppl p = term( "p" );
ATermAppl q = term( "q" );
ATermAppl r = term( "r" );
ATermAppl r2 = term( "r2" );
ATermAppl a = term( "a" );
ATermAppl b = term( "b" );
ATermAppl c = term( "c" );
ATermAppl d = term( "d" );
kb.addObjectProperty( p );
kb.addObjectProperty( q );
kb.addObjectProperty( r );
kb.addObjectProperty( r2 );
kb.addEquivalentProperty( r, r2 );
kb.addSubProperty( list( p, q, r2 ), r );
kb.addClass( C );
kb.addClass( D );
kb.addSubClass( C, some( p, some( q, some( r, all( inv( r ), D ) ) ) ) );
kb.addIndividual( a );
kb.addIndividual( b );
kb.addIndividual( c );
kb.addIndividual( d );
kb.addPropertyValue( p, a, b );
kb.addPropertyValue( q, b, c );
kb.addPropertyValue( r, c, d );
kb.prepare();
assertFalse( kb.getRole(r).isSimple() );
assertTrue( kb.isSubClassOf( C, D ) );
assertTrue( kb.hasPropertyValue( a, r, d ) );
assertEquals( Arrays.asList( d ), kb.getPropertyValues( r, a ));
}
@Test
public void testPropertyChain() {
testPropertyChainBase( "propertyChain.owl" );
}
public void testPropertyChainBase(String filename) {
String ns = "http://www.example.org/test#";
OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
model.read( base + filename );
OntClass C = model.getOntClass( ns + "C" );
OntClass S0 = model.getOntClass( ns + "S0" );
OntClass R0 = model.getOntClass( ns + "R0" );
OntClass R1 = model.getOntClass( ns + "R1" );
ObjectProperty r = model.getObjectProperty( ns + "r" );
ObjectProperty s = model.getObjectProperty( ns + "s" );
int n = 17;
Resource[] a = new Resource[n];
for( int i = 0; i < n; i++ ) {
a[i] = model.getResource( ns + "a" + i );
}
Resource[] theList = new Resource[] {
a[1], a[2], a[3], a[4], a[5], a[6], a[8], a[10], a[12], a[14], a[16] };
assertTrue( r.isTransitiveProperty() );
assertFalse( s.isTransitiveProperty() );
assertIteratorValues( C.listInstances(), theList );
assertIteratorValues( S0.listInstances(), theList );
assertIteratorValues( R0.listInstances(), new Resource[] { a[7], a[9] } );
assertIteratorValues( R1.listInstances(), new Resource[] { a[2], a[3], a[4], a[5], a[6] } );
Model rValues = ModelFactory.createDefaultModel();
addStatements( rValues, a[0], r, a[7], a[9] );
addStatements( rValues, a[1], r, a[2], a[3], a[4], a[5], a[6] );
addStatements( rValues, a[2], r, a[4], a[5], a[6] );
addStatements( rValues, a[4], r, a[5], a[6] );
addStatements( rValues, a[7], r, a[9] );
addStatements( rValues, a[8], r, a[10] );
assertPropertyValues( model, r, rValues );
Model sValues = ModelFactory.createDefaultModel();
addStatements( sValues, a[0], s, a[1], a[2], a[3], a[4], a[5], a[6], a[8], a[10], a[12],
a[14], a[16] );
addStatements( sValues, a[7], s, a[8], a[10], a[12] );
addStatements( sValues, a[8], s, a[11] );
addStatements( sValues, a[9], s, a[12] );
addStatements( sValues, a[10], s, a[11] );
addStatements( sValues, a[13], s, a[14] );
addStatements( sValues, a[15], s, a[16] );
assertPropertyValues( model, s, sValues );
}
@Test
public void testPropertyChainDeprecated() {
testPropertyChainBase( "propertyChainDeprecated.owl" );
}
@Test
public void testPropertyChainInvalid() {
OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
model.read( base + "propertyChainInvalid.owl" );
model.prepare();
KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();
for( Role r : kb.getRBox().getRoles() ) {
if( !ATermUtils.isBuiltinProperty( r.getName() ) ) {
assertTrue( r + " is not simple", r.isSimple() );
assertFalse( r + " is transitive", r.isTransitive() );
assertFalse( r + " has complex sub roles", r.hasComplexSubRole() );
}
}
}
@Test
public void testPropertyChainInverses() {
String ns = "http://www.example.org/test#";
OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
model.read( base + "propertyChainInverses.owl" );
ObjectProperty p = model.getObjectProperty( ns + "p" );
ObjectProperty q = model.getObjectProperty( ns + "q" );
int n = 8;
Resource[] a = new Resource[n];
for( int i = 0; i < n; i++ ) {
a[i] = model.getResource( ns + "a" + i );
}
Model pValues = ModelFactory.createDefaultModel();
addStatements( pValues, a[0], p, a[1], a[3], a[4] );
addStatements( pValues, a[3], p, a[4] );
addStatements( pValues, a[6], p, a[0], a[1], a[3], a[4] );
addStatements( pValues, a[7], p, a[6], a[0], a[1], a[3], a[4] );
assertPropertyValues( model, p, pValues );
Model qValues = ModelFactory.createDefaultModel();
addStatements( qValues, a[0], q, a[2], a[5] );
addStatements( qValues, a[3], q, a[5] );
addStatements( qValues, a[6], q, a[2], a[5] );
addStatements( qValues, a[7], q, a[2], a[5] );
assertPropertyValues( model, q, qValues );
}
@Test
public void testPropertyChainValid() {
String ns = "http://www.example.org/test#";
OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
model.read( base + "propertyChainValid.owl" );
ObjectProperty r = model.getObjectProperty( ns + "r" );
int n = 6;
Resource[] a = new Resource[n];
for( int i = 0; i < n; i++ ) {
a[i] = model.getResource( ns + "a" + i );
}
Model rValues = ModelFactory.createDefaultModel();
addStatements( rValues, a[0], r, a[3], a[5] );
addStatements( rValues, a[1], r, a[3], a[5] );
addStatements( rValues, a[2], r, a[3] );
addStatements( rValues, a[4], r, a[5] );
assertPropertyValues( model, r, rValues );
}
@Test
public void invalidCycle2() {
KnowledgeBase kb = new KnowledgeBase();
ATermAppl B = term( "B" );
ATermAppl C = term( "C" );
ATermAppl D = term( "D" );
ATermAppl p = term( "p" );
ATermAppl q2 = term( "q2" );
ATermAppl q = term( "q" );
ATermAppl r = term( "r" );
ATermAppl a = term( "a" );
ATermAppl b = term( "b" );
ATermAppl c = term( "c" );
ATermAppl d = term( "d" );
kb.addObjectProperty( p );
kb.addObjectProperty( q2 );
kb.addObjectProperty( q );
kb.addObjectProperty( r );
kb.addEquivalentProperty( q, q2 );
kb.addSubProperty( list( p, q2, r ), q );
kb.addClass( B );
kb.addClass( C );
kb.addClass( D );
kb.addSubClass( B, some( p, some( q, some( r, D ) ) ) );
kb.addSubClass( C, some( q, D ) );
kb.addIndividual( a );
kb.addIndividual( b );
kb.addIndividual( c );
kb.addIndividual( d );
kb.addPropertyValue( p, a, b );
kb.addPropertyValue( q, b, c );
kb.addPropertyValue( r, c, d );
kb.prepare();
assertTrue( kb.getRole(q).isSimple() );
assertFalse( kb.isSubClassOf( B, C ) );
assertFalse( kb.hasPropertyValue( a, q, c ) );
assertTrue( kb.getPropertyValues( q, a ).isEmpty() );
}
@Test
public void validCycle2() {
KnowledgeBase kb = new KnowledgeBase();
ATermAppl C = term( "C" );
ATermAppl D = term( "D" );
ATermAppl p = term( "p" );
ATermAppl q = term( "q" );
ATermAppl r = term( "r" );
ATermAppl a = term( "a" );
ATermAppl b = term( "b" );
ATermAppl c = term( "c" );
ATermAppl d = term( "d" );
kb.addObjectProperty( p );
kb.addObjectProperty( q );
kb.addObjectProperty( r );
kb.addSubProperty( list( p, q, r ), r );
kb.addClass( C );
kb.addClass( D );
kb.addSubClass( C, some( p, some( q, some( r, all( inv( r ), D ) ) ) ) );
kb.addIndividual( a );
kb.addIndividual( b );
kb.addIndividual( c );
kb.addIndividual( d );
kb.addPropertyValue( p, a, b );
kb.addPropertyValue( q, b, c );
kb.addPropertyValue( r, c, d );
kb.prepare();
assertFalse( kb.getRole(r).isSimple() );
assertTrue( kb.isSubClassOf( C, D ) );
assertTrue( kb.hasPropertyValue( a, r, d ) );
assertEquals( Arrays.asList( d ), kb.getPropertyValues( r, a ));
}
}