dlsyntaxparser.jj

Sematic Assessment System: Java GUI application that store all data in an Ontology in protege.

    (
    prop=ObjectProperty() filler=NestedClass()
    )
    {
        if(create) {
            return owlModel.createOWLAllValuesFrom(prop, filler);
        }
        return null;
    }
}

///////////////////////////////////////////////////////////////////////////////
//
// SomeValuesFrom

OWLClass OWLSomeValuesFromRestriction() :
{
    OWLClass cls;
}
{
    (
    "?" (
        cls=OWLSomeValuesFromDatatypePart()
        |
        cls=OWLSomeValuesFromObjectPart()
        )
    )
    {
        return cls;
    }
}

OWLClass OWLSomeValuesFromDatatypePart() :
{
    OWLDatatypeProperty prop;
    RDFSDatatype filler;
}
{
    (
    prop=DatatypeProperty() filler=Datatype()
    )
    {
        if(create) {
            return owlModel.createOWLSomeValuesFrom(prop, filler);
        }
        return null;
    }
}

OWLClass OWLSomeValuesFromObjectPart() :
{
    OWLObjectProperty prop;
    OWLClass filler;
}
{
    (
        prop=ObjectProperty() filler=NestedClass()
    )
    {
        if(create) {
            return owlModel.createOWLSomeValuesFrom(prop, filler);
        }
        return null;
    }
}

///////////////////////////////////////////////////////////////////////////////
//
// MinCardi

OWLClass OWLMinCardinalityRestriction() :
{
    int card;
    OWLMinCardinality cls = null;
}
{
    (
    ">" card=Integer() (
        cls=OWLMinCardinalityDatatypePart()
        |
        (cls=OWLMinCardinalityObjectPart())?
        )
    )
    {
        if(create && cls != null) {
            cls.setCardinality(card);
            return cls;
        }
        return null;
    }
}

OWLMinCardinality OWLMinCardinalityDatatypePart() :
{
    OWLDatatypeProperty prop;
}
{
    (
        prop=DatatypeProperty()
    )
    {
        if(create) {
            OWLMinCardinality minCardi = owlModel.createOWLMinCardinality();
            minCardi.setOnProperty(prop);
            return minCardi;
        }
        return null;
    }
}

OWLMinCardinality OWLMinCardinalityObjectPart() :
{
    OWLObjectProperty prop;
    OWLClass filler = null;
}
{
    (
    prop=ObjectProperty() (filler=NestedClass())?
    )
    {
        if(create) {
            OWLMinCardinality minCardi = owlModel.createOWLMinCardinality();
            minCardi.setOnProperty(prop);
            if(filler != null) {
                minCardi.setValuesFrom(filler);
            }
            return minCardi;
        }
        return null;
    }
}


///////////////////////////////////////////////////////////////////////////////
//
// MaxCardi

OWLClass OWLMaxCardinalityRestriction() :
{
    int card;
    OWLMaxCardinality cls = null;
}
{
    (
    "<" card=Integer() (
        cls=OWLMaxCardinalityDatatypePart()
        |
        (cls=OWLMaxCardinalityObjectPart())?
        )
    )
    {
        if(create && cls != null) {
            cls.setCardinality(card);
            return cls;
        }
        return null;
    }
}

OWLMaxCardinality OWLMaxCardinalityDatatypePart() :
{
    OWLDatatypeProperty prop;
}
{
    (
        prop=DatatypeProperty()
    )
    {
        if(create) {
            OWLMaxCardinality maxCardi = owlModel.createOWLMaxCardinality();
            maxCardi.setOnProperty(prop);
            return maxCardi;
        }
        return null;
    }
}

OWLMaxCardinality OWLMaxCardinalityObjectPart() :
{
    OWLObjectProperty prop;
    OWLClass filler = null;
}
{
    (
    prop=ObjectProperty() (filler=NestedClass())?
    )
    {
        if(create) {
            OWLMaxCardinality maxCardi = owlModel.createOWLMaxCardinality();
            maxCardi.setOnProperty(prop);
            if(filler != null) {
                maxCardi.setValuesFrom(filler);
            }
            return maxCardi;
        }
        return null;
    }
}

///////////////////////////////////////////////////////////////////////////////
//
// Cardi

OWLClass OWLCardinalityRestriction() :
{
    int card;
    OWLCardinality cls = null;
}
{
    (
    "=" card=Integer() (
        cls=OWLCardinalityDatatypePart()
        |
        (cls=OWLCardinalityObjectPart())?
        )
    )
    {
        if(create && cls != null) {
            cls.setCardinality(card);
            return cls;
        }
        return null;
    }
}

OWLCardinality OWLCardinalityDatatypePart() :
{
    OWLDatatypeProperty prop;
}
{
    (
        prop=DatatypeProperty()
    )
    {
        if(create) {
            OWLCardinality cardi = owlModel.createOWLCardinality();
            cardi.setOnProperty(prop);
            return cardi;
        }
        return null;
    }
}

OWLCardinality OWLCardinalityObjectPart() :
{
    OWLObjectProperty prop;
    OWLClass filler = null;
}
{
    (
    prop=ObjectProperty() (filler=NestedClass())?
    )
    {
        if(create) {
            OWLCardinality cardi = owlModel.createOWLCardinality();
            cardi.setOnProperty(prop);
            if(filler != null) {
                cardi.setValuesFrom(filler);
            }
            return cardi;
        }
        return null;
    }
}

///////////////////////////////////////////////////////////////////////////////
//
// Complement class

OWLClass OWLComplementClass() :
{
    OWLClass cls;
}
{
    (
    "!"cls=NestedClass()
    )
    {
        if(create) {
            return owlModel.createOWLComplementClass(cls);
        }
        return null;
    }
}

///////////////////////////////////////////////////////////////////////////////
//
// Enumerated class

OWLClass OWLEnumeratedClass() :
{
    OWLIndividual ind;
    ArrayList individuals = new ArrayList();
}
{
    (
    "{"
        ind=Individual()
        {individuals.add(ind);}
        ((ind=Individual()
            {  individuals.add(ind); })*)
    "}"
    )
    {
        return owlModel.createOWLEnumeratedClass(individuals);
    }
}

RDFSDatatype Datatype() :
{
    Token token;
}
{
    (
    token=<DATATYPE_ID>
    )
    {
        String idName = ParserUtils.dequoteIdentifier(token.image);
        return owlModel.getRDFSDatatypeByName(datatypeChecker.getDatatypeQName(idName));
    }

}

OWLDatatypeProperty DatatypeProperty() :
{
    Token t;
    OWLDatatypeProperty prop;
}
{
    t=<DATATYPE_PROPERTY_ID>{
      try {
        String idName = ParserUtils.dequoteIdentifier(t.image);
        prop = ParserUtils.getOWLDatatypePropertyFromName(owlModel, idName);
      } catch (AmbiguousNameException ex) {
        throw new ParseException(ex.getMessage());
      }
      return prop;
    }
}

OWLObjectProperty ObjectProperty() :
{
    Token t;
    OWLObjectProperty prop;
}
{
    t=<OBJECT_PROPERTY_ID>{
       try {
           String idName = ParserUtils.dequoteIdentifier(t.image);
           prop = ParserUtils.getOWLObjectPropertyFromName(owlModel, idName); 
       } catch (AmbiguousNameException ex) {
                  throw new ParseException(ex.getMessage());
       }
       return prop;
    }
}

OWLIndividual Individual() :
{
    Token t;
}
{
    t=<INDIVIDUAL_ID>{
       try {
        String idName = ParserUtils.dequoteIdentifier(t.image);
        return ParserUtils.getOWLIndividualFromName(owlModel, idName);
       } catch (AmbiguousNameException ex) {
          throw new ParseException(ex.getMessage());
       } 
    }
}


OWLClass NestedClass() :
{
    OWLClass cls;
}
{
    (
    cls=OWLNamedClass() | cls=OWLEnumeratedClass() | cls=OWLComplementClass() | "(" cls=OWLUnionClass() ")"
    )
    {
        return cls;
    }
}

int Integer() :
{
    Token t;
}
{
    t=<INTEGER_LITERAL>{return Integer.parseInt(t.image);}
}