Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
     *
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLSubPropertyChainOfAxiom ax) {
        OWLObjectPropertyExpression pEx = ax.getSuperProperty();
        if (pEx.isAnonymous()) {
            error(ax, false);
            return;
        }
        OWLObjectProperty p = pEx.asOWLObjectProperty();
        Frame f = getTypedefFrame(p);
        if (p.isBottomEntity() || p.isTopEntity()) {
            error("Property chains using Top or Bottom entities are not supported in OBO.",
                    ax, false);
            return;
        }
        List<OWLObjectPropertyExpression> list = ax.getPropertyChain();
        if (list.size() != 2) {
            error(ax, false);
            return;
        }
        OWLObjectPropertyExpression exp1 = list.get(0);
        OWLObjectPropertyExpression exp2 = list.get(1);
        if (exp1.isBottomEntity() || exp1.isTopEntity()
                || exp2.isBottomEntity() || exp2.isTopEntity()) {
            error("Property chains using Top or Bottom entities are not supported in OBO.",
                    ax, false);
            return;
        }
        String rel1 = getIdentifier(exp1);
View Full Code Here
632
633
634
635
636
637
638
639
640
641
642
     *
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLTransitiveObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_TRANSITIVE.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;
View Full Code Here
659
660
661
662
663
664
665
666
667
668
669
     *
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLReflexiveObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_REFLEXIVE.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;
View Full Code Here
676
677
678
679
680
681
682
683
684
685
686
     *
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLInverseFunctionalObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_INVERSE_FUNCTIONAL.getTag(),
                        Boolean.TRUE, ax.getAnnotations())) {
            return;
View Full Code Here
693
694
695
696
697
698
699
700
701
702
703
704
     *
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLInverseObjectPropertiesAxiom ax) {
        OWLObjectPropertyExpression prop1 = ax.getFirstProperty();
        OWLObjectPropertyExpression prop2 = ax.getSecondProperty();
        if (prop1 instanceof OWLObjectProperty
                && prop2 instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop1,
                        OboFormatTag.TAG_INVERSE_OF.getTag(),
                        getIdentifier(prop2), ax.getAnnotations())) {
View Full Code Here
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLObjectPropertyDomainAxiom ax) {
        OWLClassExpression domain = ax.getDomain();
        OWLObjectPropertyExpression propEx = ax.getProperty();
        if (propEx.isAnonymous()) {
            error(ax, true);
            return;
        }
        OWLObjectProperty prop = propEx.asOWLObjectProperty();
        if (domain.isBottomEntity() || domain.isTopEntity()) {
            // at least get the type def frame
            getTypedefFrame(prop);
            // now throw the error
            error("domains using top or bottom entities are not translatable to OBO.",
View Full Code Here
747
748
749
750
751
752
753
754
755
756
757
     *
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLAsymmetricObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_ASYMMETRIC.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;
View Full Code Here
764
765
766
767
768
769
770
771
772
773
774
     *
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLSymmetricObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_SYMMETRIC.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;
View Full Code Here
781
782
783
784
785
786
787
788
789
790
791
     *
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLFunctionalObjectPropertyAxiom ax) {
        OWLObjectPropertyExpression prop = ax.getProperty();
        if (prop instanceof OWLObjectProperty
                && trObjectProperty((OWLObjectProperty) prop,
                        OboFormatTag.TAG_IS_FUNCTIONAL.getTag(), Boolean.TRUE,
                        ax.getAnnotations())) {
            return;
View Full Code Here
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
     * @param ax
     *        the ax
     */
    protected void tr(@Nonnull OWLObjectPropertyRangeAxiom ax) {
        OWLClassExpression owlRange = ax.getRange();
        OWLObjectPropertyExpression propEx = ax.getProperty();
        if (propEx.isAnonymous()) {
            error(ax, false);
        }
        OWLObjectProperty prop = propEx.asOWLObjectProperty();
        if (owlRange.isBottomEntity() || owlRange.isTopEntity()) {
            // at least create the property frame
            getTypedefFrame(prop);
            // error message
            error("ranges using top or bottom entities are not translatable to OBO.",
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.model.OWLObjectPropertyExpression

  • au.csiro.ontology.importer.owl.OWLImporter
  • au.csiro.snorocket.owlapi.util.DebugUtils
  • au.csiro.snorocket.protege.util.DebugUtils
  • com.clarkparsia.pellet.owlapiv3.AxiomConverter
  • com.clarkparsia.pellet.owlapiv3.ConceptConverter
  • com.clarkparsia.pellet.owlapiv3.EntailmentChecker
  • de.uulm.ecs.ai.owlapi.krssparser.KRSS2Parser
  • de.uulm.ecs.ai.owlapi.krssrenderer.KRSS2ObjectRenderer
  • org.apache.stanbol.ontologymanager.registry.impl.RegistryManagerImpl
  • org.apache.stanbol.ontologymanager.registry.impl.util.RegistryUtils
    • 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.