hylar/test/logics_test.js

A rule-based incremental reasoner for the Web.

/**
 * Created by aifb on 15.03.16.
 */


var should = require('should');
var rules = require('../hylar/core/Rules').owl2rl;

var Solver = require('../hylar/core/Logics/Solver');
var Fact = require('../hylar/core/Logics/Fact');
var Prefixes = require('../hylar/core/Prefixes');
var ReasoningEngine = require('../hylar/core/ReasoningEngine');

describe('Rule tests', function () {
    it('should order the rule causes (most to least restrictive)', function () {
        var transitiveRule = rules[4],
            mostRestrictiveTransitiveCause = transitiveRule.causes[1];

        transitiveRule.orderCausesByMostRestrictive();
        transitiveRule.causes[0].constants.length.should.equal(2);
    });
});

describe('Solver tests', function() {
    it('should return inference wrt. transitivity rule', function() {
        var facts = [
            new Fact('#parentOf', '#papy', '#papa', [], true),
            new Fact('#parentOf', '#papa', '#fiston', [], true),
            new Fact('#parentOf', '#grandpapy', '#papy', [], true),
            new Fact('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', '#parentOf', 'http://www.w3.org/2002/07/owl#TransitiveProperty', [], true)
        ];

        return ReasoningEngine.incremental(facts, [], [], rules).then(function(consequences) {
            consequences.additions.length.should.equal(7);
        });


    });
    it('should return inference wrt. transitivity rule', function() {
        var facts = [
            new Fact('http://www.w3.org/2000/01/rdf-schema#subClassOf', '#mammal', '#animal', [], true),
            new Fact('http://www.w3.org/1999/02/22-rdf-syntax-ns#type', '#lion', '#mammal', [], true)
        ];

        Solver.evaluateRuleSet(rules, facts).then(function(consequences) {
            consequences.length.should.equal(1);
        });
    });
});