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
47.  class RDFXMLSyntaxExpressionBuilder extends Serializable
48.  trait RDFXMLSyntaxParsing extends AnyRef

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

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

49.  trait RDFXMLSyntaxPrefixParsing extends AnyRef

    Trait to support the parsing of prefixes from expressions given in RFD/XML syntax.