Package org.semanticweb.HermiT.model

Examples of org.semanticweb.HermiT.model.LiteralConcept

807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
            OWLDataRange description=dr.getDataRange();
            if (description.isDatatype() && (Prefixes.isInternalIRI(description.asOWLDatatype().getIRI().toString()) || m_definedDatatypeIRIs.contains(description.asOWLDatatype()))) {
                m_bodyAtoms.add(Atom.create(AtomicConcept.create(description.asOWLDatatype().getIRI().toString()),X));
            }
            else {
                LiteralConcept literalConcept=m_dataRangeConverter.convertDataRange(dr);
                if (literalConcept instanceof AtomicNegationConcept) {
                    AtomicConcept negatedConcept=((AtomicNegationConcept)literalConcept).getNegatedAtomicConcept();
                    if (!negatedConcept.isAlwaysTrue())
                        m_bodyAtoms.add(Atom.create(negatedConcept,X));
                }
                else {
                    if (!literalConcept.isAlwaysFalse())
                        m_headAtoms.add(Atom.create((DLPredicate)literalConcept,X));
                }
            }
        }
View Full Code Here
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
                        m_headAtoms.add(Atom.create((DLPredicate)literalConcept,X));
                }
            }
        }
        public void visit(OWLDataOneOf object) {
            LiteralConcept literalConcept=m_dataRangeConverter.convertDataRange(object);
            if (literalConcept instanceof AtomicNegationConcept) {
                AtomicConcept negatedConcept=((AtomicNegationConcept)literalConcept).getNegatedAtomicConcept();
                if (!negatedConcept.isAlwaysTrue())
                    m_bodyAtoms.add(Atom.create(negatedConcept,X));
            }
            else {
                if (!literalConcept.isAlwaysFalse())
                    m_headAtoms.add(Atom.create((DLPredicate)literalConcept,X));
            }
        }
View Full Code Here
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
        }
        public void visit(OWLFacetRestriction node) {
            throw new IllegalStateException("Internal error: Invalid normal form. ");
        }
        public void visit(OWLDatatypeRestriction node) {
            LiteralConcept literalConcept=m_dataRangeConverter.convertDataRange(node);
            if (literalConcept instanceof AtomicNegationConcept) {
                AtomicConcept negatedConcept=((AtomicNegationConcept)literalConcept).getNegatedAtomicConcept();
                if (!negatedConcept.isAlwaysTrue())
                    m_bodyAtoms.add(Atom.create(negatedConcept,X));
            }
            else {
                if (!literalConcept.isAlwaysFalse())
                    m_headAtoms.add(Atom.create((DLPredicate)literalConcept,X));
            }
        }
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
    protected SatType isSatisfied(AtLeastConcept atLeastConcept,Node forNode) {
        int cardinality=atLeastConcept.getNumber();
        if (cardinality<=0)
            return SatType.PERMANENTLY_SATISFIED;
        Role onRole=atLeastConcept.getOnRole();
        LiteralConcept toConcept=atLeastConcept.getToConcept();
        ExtensionTable.Retrieval retrieval;
        int toNodeIndex;
        if (onRole instanceof AtomicRole) {
            retrieval=m_ternaryExtensionTableSearch01Bound;
            retrieval.getBindingsBuffer()[0]=onRole;
View Full Code Here
TOP

Related Classes of org.semanticweb.HermiT.model.LiteralConcept

  • org.semanticweb.HermiT.blocking.BlockingValidator
  • org.semanticweb.HermiT.existentials.AbstractExpansionStrategy
  • org.semanticweb.HermiT.structural.OWLClausification$NormalizedAxiomClausifier
  • org.semanticweb.HermiT.structural.OWLClausification$NormalizedDataRangeAxiomClausifier
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.