parsing

Type Members

1. case class AnnotationPropertyAnnotationDetails(details: List[OWLAnnotation]) extends AnnotationPropertyDetails with Product with Serializable

   

2. sealed abstract class AnnotationPropertyDetails extends AnyRef

   

3. case class AnnotationPropertyDomainDetails(details: List[(IRI, List[OWLAnnotation])]) extends AnnotationPropertyDetails with Product with Serializable

   

4. case class AnnotationPropertyRangeDetails(details: List[(IRI, List[OWLAnnotation])]) extends AnnotationPropertyDetails with Product with Serializable

   

5. case class AnnotationPropertySubPropertyOfDetails(details: List[(OWLAnnotationProperty, List[OWLAnnotation])]) extends AnnotationPropertyDetails with Product with Serializable

   

6. case class ClassAnnotationDetails(details: List[OWLAnnotation]) extends ClassDetails with Product with Serializable

   

7. sealed abstract class ClassDetails extends AnyRef

   

8. case class ClassDisjointUnionOfDetails(details: (List[OWLAnnotation], List[OWLClassExpression])) extends ClassDetails with Product with Serializable

   

9. case class ClassDisjointWithDetails(details: List[(OWLClassExpression, List[OWLAnnotation])]) extends ClassDetails with Product with Serializable

   

10. case class ClassEquivalentToDetails(details: List[(OWLClassExpression, List[OWLAnnotation])]) extends ClassDetails with Product with Serializable

    

11. case class ClassSubClassOfDetails(details: List[(OWLClassExpression, List[OWLAnnotation])]) extends ClassDetails with Product with Serializable

    

12. case class DataPropertyAnnotationDetails(details: List[OWLAnnotation]) extends DataPropertyDetails with Product with Serializable

    

13. case class DataPropertyCharacteristicsDetails(details: List[OWLAnnotation]) extends DataPropertyDetails with Product with Serializable

    

14. sealed abstract class DataPropertyDetails extends AnyRef

    

15. case class DataPropertyDisjointWithDetails(details: List[(OWLDataPropertyExpression, List[OWLAnnotation])]) extends DataPropertyDetails with Product with Serializable

    

16. case class DataPropertyDomainDetails(details: List[(OWLClassExpression, List[OWLAnnotation])]) extends DataPropertyDetails with Product with Serializable

    

17. case class DataPropertyEquivalentToDetails(details: List[(OWLDataPropertyExpression, List[OWLAnnotation])]) extends DataPropertyDetails with Product with Serializable

    

18. case class DataPropertyRangeDetails(details: List[(OWLDataRange, List[OWLAnnotation])]) extends DataPropertyDetails with Product with Serializable

    

19. case class DataPropertySubPropertyOfDetails(details: List[(OWLDataPropertyExpression, List[OWLAnnotation])]) extends DataPropertyDetails with Product with Serializable

    

20. class FakeEntityChecker extends OWLEntityChecker

    

    This class is used to support the parsing of single frames in Manchester OWL syntax.

    This class is used to support the parsing of single frames in Manchester OWL syntax. The main purpose is to always return a requested OWL entity without actually checking whether it was defined beforehand. This is required since the Mancherster OWL syntax parser has to deal with single frames without having access to a whole ontology. Another purpose of this entity checker is to expand namespace abbreviations.

21. class FunctionalSyntaxExpressionBuilder extends Serializable

    

    The main purpose of this class is to provide an object which is initialized with

    The main purpose of this class is to provide an object which is initialized with

    - all prefix declarations

    and, fed with an expression in functional syntax, returns expressions in functional syntax, with

    - all prefix URIs being extended - all comments removed - all non-axiom expressions (e.g. Ontology(...), Prefix(...)) removed

    'Removed' here means that a null value is returned discarding the input string.

22. trait FunctionalSyntaxParsing extends AnyRef

    

    Trait to support the parsing of input OWL files in functional syntax.

    Trait to support the parsing of input OWL files in functional syntax. This trait mainly defines how to make axioms from input functional syntax expressions.

23. trait FunctionalSyntaxPrefixParsing extends AnyRef

    

    Trait to support the parsing of prefixes from expressions given in functional syntax.

24. case class HasKeyDetails(details: (List[OWLAnnotation], List[OWLPropertyExpression])) extends Product with Serializable

    

25. trait IRIParsing extends RegexParsers

    

    Trait for parsing IRIs

26. case class IndividualAnnotationDetails(details: List[OWLAnnotation]) extends IndividualDetails with Product with Serializable

    

27. sealed abstract class IndividualDetails extends AnyRef

    

28. case class IndividualDifferentFromDetails(details: List[(OWLIndividual, List[OWLAnnotation])]) extends IndividualDetails with Product with Serializable

    

29. case class IndividualFactsDetails(details: List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]) extends IndividualDetails with Product with Serializable

    

30. case class IndividualSameAsDetails(details: List[(OWLIndividual, List[OWLAnnotation])]) extends IndividualDetails with Product with Serializable

    

31. case class IndividualTypesDetails(details: List[(OWLClassExpression, List[OWLAnnotation])]) extends IndividualDetails with Product with Serializable

    

32. class ManchesterParsing extends IRIParsing

    

33. class ManchesterSyntaxExpressionBuilder extends Serializable

    

    Class that supports the clean-up of Manchester OWL syntax frames.

    Class that supports the clean-up of Manchester OWL syntax frames. An input frame will be

    - discarded if it is a prefix declaration, an ontology definition or in case it is empty - replaced by the same frame with all short URIs replaced by full URIs (except short URIs of the default namespace which will be replaced later (mainly due to the difficulty to parse them right here)) - trimmed, i.e. all leading and trailing whitespace will be removed

34. trait ManchesterSyntaxParsing extends AnyRef

    

    Trait to support the parsing of input files in Manchester OWL syntax.

    Trait to support the parsing of input files in Manchester OWL syntax. The main functionality is to create OWL axioms from a single Manchester OWL syntax frame. For now we simply call the OWL API Manchester OWL syntax parser for that. Unfortunately, there are quite a few cases that cannot be handled by the OWL API Manchester OWL syntax parser, now.

35. trait ManchesterSyntaxPrefixParsing extends AnyRef

    

    Trait to support the parsing of prefix definitions in Manchester OWL syntax

36. case class ObjectPropertyAnnotationDetails(details: List[OWLAnnotation]) extends ObjectPropertyDetails with Product with Serializable

    

37. case class ObjectPropertyCharacteristicsDetails(details: List[(PropertyCharacteristic.Value, List[OWLAnnotation])]) extends ObjectPropertyDetails with Product with Serializable

    

38. sealed abstract class ObjectPropertyDetails extends AnyRef

    

39. case class ObjectPropertyDisjointWithDetails(details: List[(OWLObjectPropertyExpression, List[OWLAnnotation])]) extends ObjectPropertyDetails with Product with Serializable

    

40. case class ObjectPropertyDomainDetails(details: List[(OWLClassExpression, List[OWLAnnotation])]) extends ObjectPropertyDetails with Product with Serializable

    

41. case class ObjectPropertyEquivalentToDetails(details: List[(OWLObjectPropertyExpression, List[OWLAnnotation])]) extends ObjectPropertyDetails with Product with Serializable

    

42. case class ObjectPropertyInverseOfDetails(details: List[(OWLObjectPropertyExpression, List[OWLAnnotation])]) extends ObjectPropertyDetails with Product with Serializable

    

43. case class ObjectPropertyRangeDetails(details: List[(OWLClassExpression, List[OWLAnnotation])]) extends ObjectPropertyDetails with Product with Serializable

    

44. case class ObjectPropertySubPropertyChainDetails(details: (List[OWLObjectPropertyExpression], List[OWLAnnotation])) extends ObjectPropertyDetails with Product with Serializable

    

45. case class ObjectPropertySubPropertyOfDetails(details: List[(OWLObjectPropertyExpression, List[OWLAnnotation])]) extends ObjectPropertyDetails with Product with Serializable

    

46. case class ParserException(msg: String = "", cause: Throwable = None.orNull) extends Exception with Product with Serializable