• Home
• com.hermit-reasoner
• org.semanticweb.hermit
• 1.3.8.3
• source code
• OWLAxioms.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.semanticweb.HermiT.structural.OWLAxioms Maven / Gradle / Ivy

/* Copyright 2008, 2009, 2010 by the Oxford University Computing Laboratory

   This file is part of HermiT.

   HermiT is free software: you can redistribute it and/or modify
   it under the terms of the GNU Lesser General Public License as published by
   the Free Software Foundation, either version 3 of the License, or
   (at your option) any later version.

   HermiT 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 Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public License
   along with HermiT.  If not, see .
*/
package org.semanticweb.HermiT.structural;

import java.util.ArrayList;
import java.util.Collection;
import java.util.HashSet;
import java.util.Set;

import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLDataProperty;
import org.semanticweb.owlapi.model.OWLDataPropertyExpression;
import org.semanticweb.owlapi.model.OWLDataRange;
import org.semanticweb.owlapi.model.OWLHasKeyAxiom;
import org.semanticweb.owlapi.model.OWLIndividualAxiom;
import org.semanticweb.owlapi.model.OWLNamedIndividual;
import org.semanticweb.owlapi.model.OWLObjectProperty;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.model.SWRLAtom;

public class OWLAxioms {
    public final Set m_classes;
    public final Set m_objectProperties;
    public final Set m_objectPropertiesOccurringInOWLAxioms;
    public final Set m_complexObjectPropertyExpressions;
    public final Set m_dataProperties;
    public final Set m_namedIndividuals;
    public final Collection m_conceptInclusions;
    public final Collection m_dataRangeInclusions;
    public final Collection m_simpleObjectPropertyInclusions;
    public final Collection m_complexObjectPropertyInclusions;
    public final Collection m_disjointObjectProperties;
    public final Set m_reflexiveObjectProperties;
    public final Set m_irreflexiveObjectProperties;
    public final Set m_asymmetricObjectProperties;
    public final Collection m_dataPropertyInclusions;
    public final Collection m_disjointDataProperties;
    public final Collection m_facts;
    public final Set m_hasKeys;
    public final Set m_definedDatatypesIRIs; // contains custom datatypes from DatatypeDefinition axioms
    public final Collection m_rules;

    public OWLAxioms() {
        m_classes=new HashSet();
        m_objectProperties=new HashSet();
        m_objectPropertiesOccurringInOWLAxioms=new HashSet();
        m_complexObjectPropertyExpressions=new HashSet();
        m_dataProperties=new HashSet();
        m_namedIndividuals=new HashSet();
        m_conceptInclusions=new ArrayList();
        m_dataRangeInclusions=new ArrayList();
        m_simpleObjectPropertyInclusions=new ArrayList();
        m_complexObjectPropertyInclusions=new ArrayList();
        m_disjointObjectProperties=new ArrayList();
        m_reflexiveObjectProperties=new HashSet();
        m_irreflexiveObjectProperties=new HashSet();
        m_asymmetricObjectProperties=new HashSet();
        m_disjointDataProperties=new ArrayList();
        m_dataPropertyInclusions=new ArrayList();
        m_facts=new HashSet();
        m_hasKeys=new HashSet();
        m_definedDatatypesIRIs=new HashSet();
        m_rules=new HashSet();
    }

    public static class ComplexObjectPropertyInclusion {
        public final OWLObjectPropertyExpression[] m_subObjectProperties;
        public final OWLObjectPropertyExpression m_superObjectProperty;

        public ComplexObjectPropertyInclusion(OWLObjectPropertyExpression[] subObjectProperties,OWLObjectPropertyExpression superObjectPropery) {
            m_subObjectProperties=subObjectProperties;
            m_superObjectProperty=superObjectPropery;
        }
        public ComplexObjectPropertyInclusion(OWLObjectPropertyExpression transitiveObjectProperty) {
            m_subObjectProperties=new OWLObjectPropertyExpression[] { transitiveObjectProperty,transitiveObjectProperty };
            m_superObjectProperty=transitiveObjectProperty;
        }
    }

    public static class DisjunctiveRule {
        public final SWRLAtom[] m_body;
        public final SWRLAtom[] m_head;

        public DisjunctiveRule(SWRLAtom[] body,SWRLAtom[] head) {
            m_body=body;
            m_head=head;
        }
        public String toString() {
            StringBuffer buffer=new StringBuffer();
            boolean first=true;
            for (SWRLAtom atom : m_body) {
                if (first)
                    first=false;
                else
                    buffer.append(" /\\ ");
                buffer.append(atom.toString());
            }
            buffer.append(" -: ");
            first=true;
            for (SWRLAtom atom : m_head) {
                if (first)
                    first=false;
                else
                    buffer.append(" \\/ ");
                buffer.append(atom.toString());
            }
            return buffer.toString();
        }
    }
}