Object

net.sansa_stack.owl.common.parsing

ManchesterParser

Related Doc: package parsing

Permalink

object ManchesterParser extends ManchesterParsing

Linear Supertypes
ManchesterParsing, IRIParsing, RegexParsers, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ManchesterParser
  2. ManchesterParsing
  3. IRIParsing
  4. RegexParsers
  5. Parsers
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Elem = Char

    Permalink
    Definition Classes
    RegexParsers → Parsers
  2. case class Error extends NoSuccess with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  3. case class Failure extends NoSuccess with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  4. type Input = Reader[Elem]

    Permalink
    Definition Classes
    Parsers
  5. sealed abstract class NoSuccess extends ParseResult[Nothing]

    Permalink
    Definition Classes
    Parsers
  6. trait OnceParser[+T] extends Parser[T]

    Permalink
    Definition Classes
    Parsers
  7. sealed abstract class ParseResult[+T] extends AnyRef

    Permalink
    Definition Classes
    Parsers
  8. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]

    Permalink
    Definition Classes
    Parsers
  9. case class Success[+T] extends ParseResult[T] with Product with Serializable

    Permalink
    Definition Classes
    Parsers
  10. case class ~[+a, +b] extends Product with Serializable

    Permalink
    Definition Classes
    Parsers

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

    Permalink
    Definition Classes
    Parsers
  5. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  6. def abbreviatedIRI: Parser[IRI]

    Permalink
    Definition Classes
    IRIParsing
  7. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Permalink
    Definition Classes
    Parsers
  8. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

    Permalink
    Definition Classes
    Parsers
  9. implicit def accept(e: Elem): Parser[Elem]

    Permalink
    Definition Classes
    Parsers
  10. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

    Permalink
    Definition Classes
    Parsers
  11. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Permalink
    Definition Classes
    Parsers
  12. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    Permalink
    Definition Classes
    Parsers
  13. def alpha: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  14. def ampersand: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  15. def annotation: Parser[(OWLAnnotationProperty, OWLAnnotationValue)]

    Permalink
    Definition Classes
    ManchesterParsing
  16. def annotationAnnotatedList: Parser[List[OWLAnnotation]]

    Permalink
    Definition Classes
    ManchesterParsing
  17. def annotationPropertyDecl: Parser[OWLAnnotationProperty]

    Permalink
    Definition Classes
    ManchesterParsing
  18. def annotationPropertyDomain: Parser[List[(IRI, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  19. def annotationPropertyFrame: Parser[List[OWLAxiom]]

    Permalink

    Since the specs (https://www.w3.org/TR/owl2-manchester-syntax/#annotationPropertyFrame) say an annotation property frame should look like this

    Since the specs (https://www.w3.org/TR/owl2-manchester-syntax/#annotationPropertyFrame) say an annotation property frame should look like this

    annotationPropertyFrame ::= 'AnnotationProperty:' annotationPropertyIRI { 'Annotations:' annotationAnnotatedList } | 'Domain:' IRIAnnotatedList | 'Range:' IRIAnnotatedList | 'SubPropertyOf:' annotationPropertyIRIAnnotatedList

    (which means either annotations, or one domain, or one range, or one subproperty of part) but give an example that violates this rule:

    AnnotationProperty: creator Annotations: ... Domain: Person ,... Range: integer ,... SubPropertyOf: initialCreator ,...

    I assume spec should be

    annotationPropertyFrame ::= 'AnnotationProperty:' annotationPropertyIRI { 'Annotations:' annotationAnnotatedList | 'Domain:' IRIAnnotatedList | 'Range:' IRIAnnotatedList | 'SubPropertyOf:' annotationPropertyIRIAnnotatedList }

    Definition Classes
    ManchesterParsing
  20. def annotationPropertyIRI: Parser[OWLAnnotationProperty]

    Permalink
    Definition Classes
    ManchesterParsing
  21. def annotationPropertyIRIAnnotatedList: Parser[List[(OWLAnnotationProperty, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  22. def annotationPropertyRange: Parser[List[(IRI, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  23. def annotationPropertySubPropertyOf: Parser[List[(OWLAnnotationProperty, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  24. def annotationTarget: Parser[OWLAnnotationValue]

    Permalink
    Definition Classes
    ManchesterParsing
  25. def annotations: Parser[List[OWLAnnotation]]

    Permalink
    Definition Classes
    ManchesterParsing
  26. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  27. def asterisk: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  28. def at: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  29. def atomic: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  30. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  31. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  32. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    Permalink
    Definition Classes
    Parsers
  33. def characteristics: Parser[List[(PropertyCharacteristic.Value, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  34. def checkParsed[U](fn: Parser[U], input: String): U

    Permalink
  35. def circumflex: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  36. def classDecl: Parser[OWLClass]

    Permalink
    Definition Classes
    ManchesterParsing
  37. def classFrame: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  38. def classIRI: Parser[OWLClass]

    Permalink
    Definition Classes
    ManchesterParsing
  39. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. def closingAngleBracket: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  41. def closingBracket: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  42. def closingCurlyBrace: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  43. def closingParen: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  44. def collectClassDetails(cls: OWLClass, details: ClassDetails): List[OWLAxiom]

    Permalink
    Definition Classes
    ManchesterParsing
  45. def colon: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  46. def comma: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  47. def commit[T](p: ⇒ Parser[T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  48. def conjunction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  49. def dash: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  50. def dataAllValuesFrom_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  51. def dataAtomic: Parser[OWLDataRange]

    Permalink
    Definition Classes
    ManchesterParsing
  52. def dataConjunction: Parser[OWLDataRange]

    Permalink
    Definition Classes
    ManchesterParsing
  53. def dataExactCardinality_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  54. val dataFactory: OWLDataFactory

    Permalink
    Definition Classes
    IRIParsing
  55. def dataHasValue_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  56. def dataMaxCardinality_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  57. def dataMinCardinality_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  58. def dataPrimary: Parser[OWLDataRange]

    Permalink
    Definition Classes
    ManchesterParsing
  59. def dataProperty2List: Parser[List[OWLDataPropertyExpression]]

    Permalink
    Definition Classes
    ManchesterParsing
  60. def dataPropertyCharacteristics: Parser[List[OWLAnnotation]]

    Permalink
    Definition Classes
    ManchesterParsing
  61. def dataPropertyDecl: Parser[OWLDataProperty]

    Permalink
    Definition Classes
    ManchesterParsing
  62. def dataPropertyDisjointWith: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  63. def dataPropertyDomain: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  64. def dataPropertyEquivalentTo: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  65. def dataPropertyExpression: Parser[OWLDataPropertyExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  66. def dataPropertyExpressionAnnotatedList: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  67. def dataPropertyExpressionList: Parser[List[OWLDataPropertyExpression]]

    Permalink
    Definition Classes
    ManchesterParsing
  68. def dataPropertyFact: Parser[(OWLDataProperty, OWLLiteral)]

    Permalink
    Definition Classes
    ManchesterParsing
  69. def dataPropertyFrame: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  70. def dataPropertyIRI: Parser[OWLDataProperty]

    Permalink
    Definition Classes
    ManchesterParsing
  71. def dataPropertyRange: Parser[List[(OWLDataRange, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  72. def dataPropertySubPropertyOf: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  73. def dataRange: Parser[OWLDataRange]

    Permalink
    Definition Classes
    ManchesterParsing
  74. def dataRangeAnnotatedList: Parser[List[(OWLDataRange, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  75. def dataSomeValuesFrom_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  76. def datatype: Parser[OWLDatatype]

    Permalink
    Definition Classes
    ManchesterParsing
  77. def datatypeDecl: Parser[OWLDatatype]

    Permalink
    Definition Classes
    ManchesterParsing
  78. def datatypeFrame: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  79. def datatypeRestriction: Parser[OWLDatatypeRestriction]

    Permalink
    Definition Classes
    ManchesterParsing
  80. def decOctet: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  81. def decimalLiteral: Parser[OWLLiteral]

    Permalink
    Definition Classes
    ManchesterParsing
  82. def description: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  83. def description2List: Parser[(OWLClassExpression, List[OWLClassExpression])]

    Permalink
    Definition Classes
    ManchesterParsing
  84. def descriptionAnnotatedList: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  85. def descriptionList: Parser[List[OWLClassExpression]]

    Permalink
    Definition Classes
    ManchesterParsing
  86. def differentIndividuals: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  87. def digit: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  88. def disjointClasses: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  89. def disjointDataProperties: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  90. def disjointObjectProperties: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  91. def disjointUnionOf: Parser[(List[OWLAnnotation], List[OWLClassExpression])]

    Permalink
    Definition Classes
    ManchesterParsing
  92. def disjointWith: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  93. def dollar: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  94. def domain: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  95. def dot: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  96. def doubleQuote: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  97. def doubleSlash: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  98. def elem(e: Elem): Parser[Elem]

    Permalink
    Definition Classes
    Parsers
  99. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    Permalink
    Definition Classes
    Parsers
  100. def entity: Parser[OWLEntity]

    Permalink
    Definition Classes
    ManchesterParsing
  101. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  102. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  103. def equalsSign: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  104. def equivalentClasses: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  105. def equivalentDataProperties: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  106. def equivalentObjectProperties: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  107. def equivalentTo: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  108. def err(msg: String): Parser[Nothing]

    Permalink
    Definition Classes
    Parsers
  109. def exclamationMark: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  110. def exponent: Parser[String]

    Permalink

    ('e' | 'E') ['+' | '-'] digits

    ('e' | 'E') ['+' | '-'] digits

    Definition Classes
    ManchesterParsing
  111. def facet: Parser[OWLFacet]

    Permalink
    Definition Classes
    ManchesterParsing
  112. def fact: Parser[(Boolean, OWLProperty, OWLPropertyAssertionObject)]

    Permalink
    Definition Classes
    ManchesterParsing
  113. def factAnnotatedList: Parser[List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  114. def failure(msg: String): Parser[Nothing]

    Permalink
    Definition Classes
    Parsers
  115. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  116. def floatingPointLiteral: Parser[OWLLiteral]

    Permalink
    Definition Classes
    ManchesterParsing
  117. def frame: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  118. def fullIRI: Parser[IRI]

    Permalink
    Definition Classes
    IRIParsing
  119. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  120. def guard[T](p: ⇒ Parser[T]): Parser[T]

    Permalink
    Definition Classes
    Parsers
  121. def handleWhiteSpace(source: CharSequence, offset: Int): Int

    Permalink
    Attributes
    protected
    Definition Classes
    RegexParsers
  122. def hasKey: Parser[(List[OWLAnnotation], List[OWLPropertyExpression])]

    Permalink
    Definition Classes
    ManchesterParsing
  123. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  124. def hashSign: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  125. def hexDigit: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  126. def iauthorty: Parser[String]

    Permalink

    [ iuserinfo "@" ] ihost [ ":" port ]

    [ iuserinfo "@" ] ihost [ ":" port ]

    Definition Classes
    IRIParsing
  127. def ifragment: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  128. def ihierPart: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  129. def ihost: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  130. def imp0rt: Parser[IRI]

    Permalink
    Definition Classes
    ManchesterParsing
  131. def individual: Parser[OWLIndividual]

    Permalink
    Definition Classes
    ManchesterParsing
  132. def individual2List: Parser[List[OWLIndividual]]

    Permalink
    Definition Classes
    ManchesterParsing
  133. def individualAnnotatedList: Parser[List[(OWLIndividual, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  134. def individualAnnotations: Parser[List[OWLAnnotation]]

    Permalink
    Definition Classes
    ManchesterParsing
  135. def individualDifferentFrom: Parser[List[(OWLIndividual, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  136. def individualFacts: Parser[List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  137. def individualFrame: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  138. def individualIRI: Parser[OWLNamedIndividual]

    Permalink
    Definition Classes
    ManchesterParsing
  139. def individualList: Parser[List[OWLIndividual]]

    Permalink
    Definition Classes
    ManchesterParsing
  140. def individualSameAs: Parser[List[(OWLIndividual, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  141. def individualTypes: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  142. def integerLiteral: Parser[OWLLiteral]

    Permalink
    Definition Classes
    ManchesterParsing
  143. def inverseObjectProperty: Parser[OWLObjectInverseOf]

    Permalink
    Definition Classes
    ManchesterParsing
  144. def inverseOf: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  145. def ipLiteral: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  146. def ipathAbempty: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  147. def ipathAbsolute: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  148. def ipathEmpty: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  149. def ipathRootless: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  150. def ipchar: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  151. def iprivate: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  152. def ipv4address: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  153. def ipv6Block: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  154. def ipv6address: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  155. def iquery: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  156. def iregName: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  157. def iri: Parser[IRI]

    Permalink
    Definition Classes
    IRIParsing
  158. def iriAnnotatedList: Parser[List[(IRI, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  159. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  160. def isegment: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  161. def isegmentNz: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  162. def iunreserved: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  163. def iuserinfo: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  164. val keywords: List[String]

    Permalink
    Definition Classes
    IRIParsing
  165. def languageTag: Parser[String]

    Permalink

    @ (U+40) followed a nonempty sequence of characters matching the langtag production from [BCP 47]

    @ (U+40) followed a nonempty sequence of characters matching the langtag production from [BCP 47]

    Definition Classes
    ManchesterParsing
  166. def lexicalValue: Parser[String]

    Permalink
    Definition Classes
    ManchesterParsing
  167. def literal: Parser[OWLLiteral]

    Permalink
    Definition Classes
    ManchesterParsing
  168. implicit def literal(s: String): Parser[String]

    Permalink
    Definition Classes
    RegexParsers
  169. def literalList: Parser[List[OWLLiteral]]

    Permalink
    Definition Classes
    ManchesterParsing
  170. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

    Permalink
    Definition Classes
    Parsers
  171. def minus: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  172. def misc: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  173. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    Permalink
    Definition Classes
    Parsers
  174. def namedIndividualDecl: Parser[OWLNamedIndividual]

    Permalink
    Definition Classes
    ManchesterParsing
  175. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  176. def nodeID: Parser[String]

    Permalink
    Definition Classes
    ManchesterParsing
  177. def nonNegativeInteger: Parser[Int]

    Permalink
    Definition Classes
    ManchesterParsing
  178. def nonZero: Parser[String]

    Permalink
    Definition Classes
    ManchesterParsing
  179. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    Permalink
    Definition Classes
    Parsers
  180. def notAManchesterOWLKeyword: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  181. def notAnXSDDatatypeURI: Parser[IRI]

    Permalink
    Definition Classes
    ManchesterParsing
  182. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  183. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  184. def objectAllValuesFrom_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  185. def objectExactCardinality_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  186. def objectHasSelf_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  187. def objectHasValue_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  188. def objectMaxCardinality_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  189. def objectMinCardinality_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  190. def objectPropertyCharacteristic: Parser[PropertyCharacteristic.Value]

    Permalink
    Definition Classes
    ManchesterParsing
  191. def objectPropertyCharacteristicAnnotatedList: Parser[List[(PropertyCharacteristic.Value, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  192. def objectPropertyDecl: Parser[OWLObjectProperty]

    Permalink
    Definition Classes
    ManchesterParsing
  193. def objectPropertyDisjointWith: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  194. def objectPropertyEquivalentTo: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  195. def objectPropertyExpression: Parser[OWLObjectPropertyExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  196. def objectPropertyExpression2List: Parser[List[OWLObjectPropertyExpression]]

    Permalink
    Definition Classes
    ManchesterParsing
  197. def objectPropertyExpressionAnnotatedList: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  198. def objectPropertyExpressionList: Parser[List[OWLObjectPropertyExpression]]

    Permalink
    Definition Classes
    ManchesterParsing
  199. def objectPropertyFact: Parser[(OWLObjectProperty, OWLIndividual)]

    Permalink
    Definition Classes
    ManchesterParsing
  200. def objectPropertyFrame: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  201. def objectPropertyIRI: Parser[OWLObjectProperty]

    Permalink
    Definition Classes
    ManchesterParsing
  202. def objectSomeValuesFrom_restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  203. def onehundredToOnehundredninetynine: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  204. def ontologyIRI: Parser[IRI]

    Permalink
    Definition Classes
    ManchesterParsing
  205. def openingAngleBracket: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  206. def openingBracket: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  207. def openingCurlyBrace: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  208. def openingParen: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  209. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    Permalink
    Definition Classes
    Parsers
  210. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  211. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  212. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  213. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  214. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  215. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Permalink
    Definition Classes
    RegexParsers
  216. def parseFrame(frameStr: String): List[OWLAxiom]

    Permalink
  217. def pctEncoded: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  218. def percent: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  219. def phrase[T](p: Parser[T]): Parser[T]

    Permalink
    Definition Classes
    RegexParsers → Parsers
  220. def plus: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  221. def pn_chars: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  222. def pn_chars_base: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  223. def pn_chars_u: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  224. def pn_local: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  225. def pn_local_at_least_one_non_digit_char: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  226. def pn_local_non_digit_start: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  227. def pn_prefix: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  228. def pname_ns: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  229. def port: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  230. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    Permalink
    Definition Classes
    RegexParsers → Parsers
  231. def positiveInteger: Parser[Int]

    Permalink
    Definition Classes
    ManchesterParsing
  232. def prefixDeclaration: Parser[(String, String)]

    Permalink
    Definition Classes
    ManchesterParsing
  233. def prefixName: Parser[String]

    Permalink

    a finite sequence of characters matching the PNAME_NS production of [SPARQL] and not matching any of the keyword terminals of the syntax

    a finite sequence of characters matching the PNAME_NS production of [SPARQL] and not matching any of the keyword terminals of the syntax

    Definition Classes
    ManchesterParsing
  234. val prefixes: Map[String, String]

    Permalink
    Definition Classes
    IRIParsing
  235. def primary: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  236. def questionmark: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  237. def quote: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  238. def quotedString: Parser[String]

    Permalink

    a finite sequence of characters in which " (U+22) and \ (U+5C) occur only in pairs of the form \" (U+5C, U+22) and \\ (U+5C, U+5C), enclosed in a pair of " (U+22) characters

    a finite sequence of characters in which " (U+22) and \ (U+5C) occur only in pairs of the form \" (U+5C, U+22) and \\ (U+5C, U+5C), enclosed in a pair of " (U+22) characters

    Definition Classes
    ManchesterParsing
  239. def range: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  240. implicit def regex(r: Regex): Parser[String]

    Permalink
    Definition Classes
    RegexParsers
  241. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  242. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.

  243. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  244. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  245. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  246. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Permalink
    Definition Classes
    Parsers
  247. def restriction: Parser[OWLClassExpression]

    Permalink
    Definition Classes
    ManchesterParsing
  248. def restrictionValue: Parser[OWLLiteral]

    Permalink
    Definition Classes
    ManchesterParsing
  249. def sameIndividual: Parser[List[OWLAxiom]]

    Permalink
    Definition Classes
    ManchesterParsing
  250. def scheme: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  251. def semicolon: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  252. def simpleIRI: Parser[IRI]

    Permalink
    Definition Classes
    IRIParsing
  253. def skipWhitespace: Boolean

    Permalink
    Definition Classes
    IRIParsing → RegexParsers
  254. def slash: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  255. def stringLiteralNoLanguage: Parser[OWLLiteral]

    Permalink
    Definition Classes
    ManchesterParsing
  256. def stringLiteralWithLanguage: Parser[OWLLiteral]

    Permalink
    Definition Classes
    ManchesterParsing
  257. def subClassOf: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  258. def subDelims: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  259. def subPropertyChain: Parser[(List[OWLObjectPropertyExpression], List[OWLAnnotation])]

    Permalink
    Definition Classes
    ManchesterParsing
  260. def subPropertyOf: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]

    Permalink
    Definition Classes
    ManchesterParsing
  261. def success[T](v: T): Parser[T]

    Permalink
    Definition Classes
    Parsers
  262. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  263. def tenToNinentynine: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  264. def tilde: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  265. def toString(input: Any): String

    Permalink
    Definition Classes
    IRIParsing
  266. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  267. def twohundredToTwohundredfourtynine: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  268. def twohundredfiftyToTwohundredfiftyfive: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  269. def typedLiteral: Parser[OWLLiteral]

    Permalink
    Definition Classes
    ManchesterParsing
  270. def ucschar: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  271. def underscore: Parser[String]

    Permalink
    Definition Classes
    IRIParsing
  272. def unravel[U](acc: List[U], parsResults: List[~[~[~[Option[String], String], Option[String]], U]]): List[U]

    Permalink

    For cases where there is a comma-separated list with an arbitrary number of items, but we're only interested in the items.

    For cases where there is a comma-separated list with an arbitrary number of items, but we're only interested in the items. Converts a parsed sequence like

    , item1 , item2 , item3

    (with optional white space around the commas) to a Scala list appended to the accumulator list given as first argument.

    U

    Determines the kind of items that are considered, e.g. OWLLiteral, IRI, ...

    acc

    Accumulator list

    parsResults

    Parsed results that follow the pattern { whiteSpace.? ~ comma ~ whiteSpace.? ~ value }.*

    returns

    A Scala list containing just the parsed items (without commas)

    Definition Classes
    ManchesterParsing
  273. def unravelAnnotatedList[U](resultList: List[(U, List[OWLAnnotation])], annotationsOption: Option[~[List[OWLAnnotation], String]], entry: U, remainingParseResults: List[~[~[~[~[Option[String], String], Option[String]], Option[~[List[OWLAnnotation], String]]], U]]): List[(U, List[OWLAnnotation])]

    Permalink

    Does the same like unravel but considering optional annotations.

    Does the same like unravel but considering optional annotations. The pattern is

    <U>AnnotatedList ::= [annotations] <U> { ',' [annotations] <U> }

    U

    What kind of OWL entity is considered here; e.g. OWLClass, OWLIndividual etc

    resultList

    A list of pairs of U's and corresponding (possibly empty) annotation lists

    annotationsOption

    The first parsed, optional annotations block

    entry

    The first parsed U entry

    remainingParseResults

    Everything parsed after the first annotation block and first U entry

    returns

    The filled resultList

    Definition Classes
    ManchesterParsing
  274. def unravelAnnotationAnnotatedList(annotationsResultList: List[OWLAnnotation], annsOption: Option[~[List[OWLAnnotation], String]], annProperty: OWLAnnotationProperty, annValue: OWLAnnotationValue, remainingParseResults: List[~[~[~[~[Option[String], String], Option[String]], Option[~[List[OWLAnnotation], String]]], (OWLAnnotationProperty, OWLAnnotationValue)]]): List[OWLAnnotation]

    Permalink

    Converts parser results of a list of annotations which themselves can be annotated into a list of OWLAnnotation instances.

    Converts parser results of a list of annotations which themselves can be annotated into a list of OWLAnnotation instances. The pattern looks like this:

    AnnotationAnnotatedList ::= [annotations] annotation { ',' [annotations] annotation }

    annotationsResultList

    The result list containing OWLAnnotation objects

    annsOption

    The left-most (optional) annotation block

    annProperty

    The annotation property of the left-most annotation

    annValue

    The annotation value of the left-most annotation

    remainingParseResults

    The parser results coming after the left-most annotation block

    returns

    annotationsResultList

    Definition Classes
    ManchesterParsing
  275. def unravelConjunctionWithOptional(resultList: List[OWLClassExpression], remainingParseResults: List[~[~[~[String, String], Option[~[String, String]]], OWLClassExpression]]): List[OWLClassExpression]

    Permalink

    Converts a parsed, 'and'-separated sequence of class expressions with optional 'not' determining an expression's complement.

    Converts a parsed, 'and'-separated sequence of class expressions with optional 'not' determining an expression's complement. The pattern looks like this:

    [ 'not' ] expression { 'and' [ 'not' ] expression }

    resultList

    The list containing the parsed OWLClassExpressions

    remainingParseResults

    Holds everything after the first optional 'not' and the first class expression

    returns

    The resultList

    Definition Classes
    ManchesterParsing
  276. def unravelTwo[U, V](acc: List[(U, V)], parsResults: List[~[~[~[~[~[Option[String], String], Option[String]], U], String], V]]): List[(U, V)]

    Permalink

    For cases where there is a comma-separated list with an arbitrary number of item pairs, but we're only interested in the item pairs.

    For cases where there is a comma-separated list with an arbitrary number of item pairs, but we're only interested in the item pairs. Converts a parsed sequence like

    , item1_1 item1_2 , item2_1 item2_2 , item3_1 item3_2

    to a Scala list of pairs, appended to the accumulator list given as first argument.

    U

    Determines the kind of items that are considered, e.g. OWLLiteral, IRI, ...

    V

    Determines the kind of items that are considered, e.g. OWLLiteral, IRI, ...

    acc

    Accumulator list

    parsResults

    Parsed results that follow the pattern { comma ~ value ~ value }.*

    returns

    A Scala list containing just the parsed items (without commas)

    Definition Classes
    ManchesterParsing
  277. def unravelWithFixedWhiteSpace[U](results: List[U], remainingParseResults: List[~[~[~[String, String], String], U]]): List[U]

    Permalink

    Converts parser results of a token separated sequence (with whitespaces around the token) into a list.

    Converts parser results of a token separated sequence (with whitespaces around the token) into a list. The pattern looks like this:

    <U> token <U> { token <U> }

    Definition Classes
    ManchesterParsing
  278. def versionIRI: Parser[IRI]

    Permalink
    Definition Classes
    ManchesterParsing
  279. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  280. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  281. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  282. val whiteSpace: Regex

    Permalink
    Definition Classes
    IRIParsing → RegexParsers
  283. def zero: Parser[Int]

    Permalink
    Definition Classes
    ManchesterParsing

Inherited from ManchesterParsing

Inherited from IRIParsing

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped