Packages

o

net.sansa_stack.owl.common.parsing

ManchesterParser

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
    Definition Classes
    RegexParsers → Parsers
  2. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  3. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  4. type Input = Reader[Elem]
    Definition Classes
    Parsers
  5. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  6. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  7. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  8. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  9. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  10. case class ~[+a, +b] extends Product with Serializable
    Definition Classes
    Parsers

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    Parsers
  5. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    Parsers
  6. def abbreviatedIRI: Parser[IRI]
    Definition Classes
    IRIParsing
  7. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  8. def accept[ES](es: ES)(implicit f: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  9. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  10. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  11. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  12. def acceptSeq[ES](es: ES)(implicit f: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  13. def alpha: Parser[String]
    Definition Classes
    IRIParsing
  14. def ampersand: Parser[String]
    Definition Classes
    IRIParsing
  15. def annotation: Parser[(OWLAnnotationProperty, OWLAnnotationValue)]
    Definition Classes
    ManchesterParsing
  16. def annotationAnnotatedList: Parser[List[OWLAnnotation]]
    Definition Classes
    ManchesterParsing
  17. def annotationPropertyDecl: Parser[OWLAnnotationProperty]
    Definition Classes
    ManchesterParsing
  18. def annotationPropertyDomain: Parser[List[(IRI, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  19. def annotationPropertyFrame: Parser[List[OWLAxiom]]

    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]
    Definition Classes
    ManchesterParsing
  21. def annotationPropertyIRIAnnotatedList: Parser[List[(OWLAnnotationProperty, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  22. def annotationPropertyRange: Parser[List[(IRI, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  23. def annotationPropertySubPropertyOf: Parser[List[(OWLAnnotationProperty, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  24. def annotationTarget: Parser[OWLAnnotationValue]
    Definition Classes
    ManchesterParsing
  25. def annotations: Parser[List[OWLAnnotation]]
    Definition Classes
    ManchesterParsing
  26. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  27. def asterisk: Parser[String]
    Definition Classes
    IRIParsing
  28. def at: Parser[String]
    Definition Classes
    IRIParsing
  29. def atomic: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  30. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  31. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  32. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  33. def characteristics: Parser[List[(PropertyCharacteristic.Value, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  34. def checkParsed[U](fn: Parser[U], input: String): U
  35. def circumflex: Parser[String]
    Definition Classes
    IRIParsing
  36. def classDecl: Parser[OWLClass]
    Definition Classes
    ManchesterParsing
  37. def classFrame: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  38. def classIRI: Parser[OWLClass]
    Definition Classes
    ManchesterParsing
  39. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  40. def closingAngleBracket: Parser[String]
    Definition Classes
    IRIParsing
  41. def closingBracket: Parser[String]
    Definition Classes
    IRIParsing
  42. def closingCurlyBrace: Parser[String]
    Definition Classes
    IRIParsing
  43. def closingParen: Parser[String]
    Definition Classes
    IRIParsing
  44. def collectClassDetails(cls: OWLClass, details: ClassDetails): List[OWLAxiom]
    Definition Classes
    ManchesterParsing
  45. def colon: Parser[String]
    Definition Classes
    IRIParsing
  46. def comma: Parser[String]
    Definition Classes
    IRIParsing
  47. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  48. def conjunction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  49. def dash: Parser[String]
    Definition Classes
    IRIParsing
  50. def dataAllValuesFrom_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  51. def dataAtomic: Parser[OWLDataRange]
    Definition Classes
    ManchesterParsing
  52. def dataConjunction: Parser[OWLDataRange]
    Definition Classes
    ManchesterParsing
  53. def dataExactCardinality_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  54. val dataFactory: OWLDataFactory
    Definition Classes
    IRIParsing
  55. def dataHasValue_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  56. def dataMaxCardinality_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  57. def dataMinCardinality_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  58. def dataPrimary: Parser[OWLDataRange]
    Definition Classes
    ManchesterParsing
  59. def dataProperty2List: Parser[List[OWLDataPropertyExpression]]
    Definition Classes
    ManchesterParsing
  60. def dataPropertyCharacteristics: Parser[List[OWLAnnotation]]
    Definition Classes
    ManchesterParsing
  61. def dataPropertyDecl: Parser[OWLDataProperty]
    Definition Classes
    ManchesterParsing
  62. def dataPropertyDisjointWith: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  63. def dataPropertyDomain: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  64. def dataPropertyEquivalentTo: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  65. def dataPropertyExpression: Parser[OWLDataPropertyExpression]
    Definition Classes
    ManchesterParsing
  66. def dataPropertyExpressionAnnotatedList: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  67. def dataPropertyExpressionList: Parser[List[OWLDataPropertyExpression]]
    Definition Classes
    ManchesterParsing
  68. def dataPropertyFact: Parser[(OWLDataProperty, OWLLiteral)]
    Definition Classes
    ManchesterParsing
  69. def dataPropertyFrame: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  70. def dataPropertyIRI: Parser[OWLDataProperty]
    Definition Classes
    ManchesterParsing
  71. def dataPropertyRange: Parser[List[(OWLDataRange, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  72. def dataPropertySubPropertyOf: Parser[List[(OWLDataPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  73. def dataRange: Parser[OWLDataRange]
    Definition Classes
    ManchesterParsing
  74. def dataRangeAnnotatedList: Parser[List[(OWLDataRange, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  75. def dataSomeValuesFrom_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  76. def datatype: Parser[OWLDatatype]
    Definition Classes
    ManchesterParsing
  77. def datatypeDecl: Parser[OWLDatatype]
    Definition Classes
    ManchesterParsing
  78. def datatypeFrame: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  79. def datatypeRestriction: Parser[OWLDatatypeRestriction]
    Definition Classes
    ManchesterParsing
  80. def decOctet: Parser[String]
    Definition Classes
    IRIParsing
  81. def decimalLiteral: Parser[OWLLiteral]
    Definition Classes
    ManchesterParsing
  82. def description: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  83. def description2List: Parser[(OWLClassExpression, List[OWLClassExpression])]
    Definition Classes
    ManchesterParsing
  84. def descriptionAnnotatedList: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  85. def descriptionList: Parser[List[OWLClassExpression]]
    Definition Classes
    ManchesterParsing
  86. def differentIndividuals: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  87. def digit: Parser[String]
    Definition Classes
    IRIParsing
  88. def disjointClasses: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  89. def disjointDataProperties: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  90. def disjointObjectProperties: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  91. def disjointUnionOf: Parser[(List[OWLAnnotation], List[OWLClassExpression])]
    Definition Classes
    ManchesterParsing
  92. def disjointWith: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  93. def dollar: Parser[String]
    Definition Classes
    IRIParsing
  94. def domain: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  95. def dot: Parser[String]
    Definition Classes
    IRIParsing
  96. def doubleQuote: Parser[String]
    Definition Classes
    IRIParsing
  97. def doubleSlash: Parser[String]
    Definition Classes
    IRIParsing
  98. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  99. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  100. def entity: Parser[OWLEntity]
    Definition Classes
    ManchesterParsing
  101. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  102. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  103. def equalsSign: Parser[String]
    Definition Classes
    IRIParsing
  104. def equivalentClasses: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  105. def equivalentDataProperties: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  106. def equivalentObjectProperties: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  107. def equivalentTo: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  108. def err(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  109. def exclamationMark: Parser[String]
    Definition Classes
    IRIParsing
  110. def exponent: Parser[String]

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

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

    Definition Classes
    ManchesterParsing
  111. def facet: Parser[OWLFacet]
    Definition Classes
    ManchesterParsing
  112. def fact: Parser[(Boolean, OWLProperty, OWLPropertyAssertionObject)]
    Definition Classes
    ManchesterParsing
  113. def factAnnotatedList: Parser[List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  114. def failure(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  115. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  116. def floatingPointLiteral: Parser[OWLLiteral]
    Definition Classes
    ManchesterParsing
  117. def frame: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  118. def fullIRI: Parser[IRI]
    Definition Classes
    IRIParsing
  119. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  120. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  121. def handleWhiteSpace(source: CharSequence, offset: Int): Int
    Attributes
    protected
    Definition Classes
    RegexParsers
  122. def hasKey: Parser[(List[OWLAnnotation], List[OWLPropertyExpression])]
    Definition Classes
    ManchesterParsing
  123. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  124. def hashSign: Parser[String]
    Definition Classes
    IRIParsing
  125. def hexDigit: Parser[String]
    Definition Classes
    IRIParsing
  126. def iauthorty: Parser[String]

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

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

    Definition Classes
    IRIParsing
  127. def ifragment: Parser[String]
    Definition Classes
    IRIParsing
  128. def ihierPart: Parser[String]
    Definition Classes
    IRIParsing
  129. def ihost: Parser[String]
    Definition Classes
    IRIParsing
  130. def imp0rt: Parser[IRI]
    Definition Classes
    ManchesterParsing
  131. def individual: Parser[OWLIndividual]
    Definition Classes
    ManchesterParsing
  132. def individual2List: Parser[List[OWLIndividual]]
    Definition Classes
    ManchesterParsing
  133. def individualAnnotatedList: Parser[List[(OWLIndividual, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  134. def individualAnnotations: Parser[List[OWLAnnotation]]
    Definition Classes
    ManchesterParsing
  135. def individualDifferentFrom: Parser[List[(OWLIndividual, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  136. def individualFacts: Parser[List[((Boolean, OWLProperty, OWLPropertyAssertionObject), List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  137. def individualFrame: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  138. def individualIRI: Parser[OWLNamedIndividual]
    Definition Classes
    ManchesterParsing
  139. def individualList: Parser[List[OWLIndividual]]
    Definition Classes
    ManchesterParsing
  140. def individualSameAs: Parser[List[(OWLIndividual, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  141. def individualTypes: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  142. def integerLiteral: Parser[OWLLiteral]
    Definition Classes
    ManchesterParsing
  143. def inverseObjectProperty: Parser[OWLObjectInverseOf]
    Definition Classes
    ManchesterParsing
  144. def inverseOf: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  145. def ipLiteral: Parser[String]
    Definition Classes
    IRIParsing
  146. def ipathAbempty: Parser[String]
    Definition Classes
    IRIParsing
  147. def ipathAbsolute: Parser[String]
    Definition Classes
    IRIParsing
  148. def ipathEmpty: Parser[String]
    Definition Classes
    IRIParsing
  149. def ipathRootless: Parser[String]
    Definition Classes
    IRIParsing
  150. def ipchar: Parser[String]
    Definition Classes
    IRIParsing
  151. def iprivate: Parser[String]
    Definition Classes
    IRIParsing
  152. def ipv4address: Parser[String]
    Definition Classes
    IRIParsing
  153. def ipv6Block: Parser[String]
    Definition Classes
    IRIParsing
  154. def ipv6address: Parser[String]
    Definition Classes
    IRIParsing
  155. def iquery: Parser[String]
    Definition Classes
    IRIParsing
  156. def iregName: Parser[String]
    Definition Classes
    IRIParsing
  157. def iri: Parser[IRI]
    Definition Classes
    IRIParsing
  158. def iriAnnotatedList: Parser[List[(IRI, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  159. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  160. def isegment: Parser[String]
    Definition Classes
    IRIParsing
  161. def isegmentNz: Parser[String]
    Definition Classes
    IRIParsing
  162. def iunreserved: Parser[String]
    Definition Classes
    IRIParsing
  163. def iuserinfo: Parser[String]
    Definition Classes
    IRIParsing
  164. val keywords: List[String]
    Definition Classes
    IRIParsing
  165. def languageTag: Parser[String]

    @ (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]
    Definition Classes
    ManchesterParsing
  167. def literal: Parser[OWLLiteral]
    Definition Classes
    ManchesterParsing
  168. implicit def literal(s: String): Parser[String]
    Definition Classes
    RegexParsers
  169. def literalList: Parser[List[OWLLiteral]]
    Definition Classes
    ManchesterParsing
  170. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  171. def minus: Parser[String]
    Definition Classes
    IRIParsing
  172. def misc: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  173. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  174. def namedIndividualDecl: Parser[OWLNamedIndividual]
    Definition Classes
    ManchesterParsing
  175. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  176. def nodeID: Parser[String]
    Definition Classes
    ManchesterParsing
  177. def nonNegativeInteger: Parser[Int]
    Definition Classes
    ManchesterParsing
  178. def nonZero: Parser[String]
    Definition Classes
    ManchesterParsing
  179. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  180. def notAManchesterOWLKeyword: Parser[String]
    Definition Classes
    IRIParsing
  181. def notAnXSDDatatypeURI: Parser[IRI]
    Definition Classes
    ManchesterParsing
  182. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  183. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  184. def objectAllValuesFrom_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  185. def objectExactCardinality_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  186. def objectHasSelf_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  187. def objectHasValue_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  188. def objectMaxCardinality_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  189. def objectMinCardinality_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  190. def objectPropertyCharacteristic: Parser[PropertyCharacteristic.Value]
    Definition Classes
    ManchesterParsing
  191. def objectPropertyCharacteristicAnnotatedList: Parser[List[(PropertyCharacteristic.Value, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  192. def objectPropertyDecl: Parser[OWLObjectProperty]
    Definition Classes
    ManchesterParsing
  193. def objectPropertyDisjointWith: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  194. def objectPropertyEquivalentTo: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  195. def objectPropertyExpression: Parser[OWLObjectPropertyExpression]
    Definition Classes
    ManchesterParsing
  196. def objectPropertyExpression2List: Parser[List[OWLObjectPropertyExpression]]
    Definition Classes
    ManchesterParsing
  197. def objectPropertyExpressionAnnotatedList: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  198. def objectPropertyExpressionList: Parser[List[OWLObjectPropertyExpression]]
    Definition Classes
    ManchesterParsing
  199. def objectPropertyFact: Parser[(OWLObjectProperty, OWLIndividual)]
    Definition Classes
    ManchesterParsing
  200. def objectPropertyFrame: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  201. def objectPropertyIRI: Parser[OWLObjectProperty]
    Definition Classes
    ManchesterParsing
  202. def objectSomeValuesFrom_restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  203. def onehundredToOnehundredninetynine: Parser[String]
    Definition Classes
    IRIParsing
  204. def ontologyIRI: Parser[IRI]
    Definition Classes
    ManchesterParsing
  205. def openingAngleBracket: Parser[String]
    Definition Classes
    IRIParsing
  206. def openingBracket: Parser[String]
    Definition Classes
    IRIParsing
  207. def openingCurlyBrace: Parser[String]
    Definition Classes
    IRIParsing
  208. def openingParen: Parser[String]
    Definition Classes
    IRIParsing
  209. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  210. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  211. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  212. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  213. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  214. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  215. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  216. def parseFrame(frameStr: String): List[OWLAxiom]
  217. def pctEncoded: Parser[String]
    Definition Classes
    IRIParsing
  218. def percent: Parser[String]
    Definition Classes
    IRIParsing
  219. def phrase[T](p: Parser[T]): Parser[T]
    Definition Classes
    RegexParsers → Parsers
  220. def plus: Parser[String]
    Definition Classes
    IRIParsing
  221. def pn_chars: Parser[String]
    Definition Classes
    IRIParsing
  222. def pn_chars_base: Parser[String]
    Definition Classes
    IRIParsing
  223. def pn_chars_u: Parser[String]
    Definition Classes
    IRIParsing
  224. def pn_local: Parser[String]
    Definition Classes
    IRIParsing
  225. def pn_local_at_least_one_non_digit_char: Parser[String]
    Definition Classes
    IRIParsing
  226. def pn_local_non_digit_start: Parser[String]
    Definition Classes
    IRIParsing
  227. def pn_prefix: Parser[String]
    Definition Classes
    IRIParsing
  228. def pname_ns: Parser[String]
    Definition Classes
    IRIParsing
  229. def port: Parser[String]
    Definition Classes
    IRIParsing
  230. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    RegexParsers → Parsers
  231. def positiveInteger: Parser[Int]
    Definition Classes
    ManchesterParsing
  232. def prefixDeclaration: Parser[(String, String)]
    Definition Classes
    ManchesterParsing
  233. def prefixName: Parser[String]

    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]
    Definition Classes
    IRIParsing
  235. def primary: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  236. def questionmark: Parser[String]
    Definition Classes
    IRIParsing
  237. def quote: Parser[String]
    Definition Classes
    IRIParsing
  238. def quotedString: Parser[String]

    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])]]
    Definition Classes
    ManchesterParsing
  240. implicit def regex(r: Regex): Parser[String]
    Definition Classes
    RegexParsers
  241. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  242. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]
    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]]
    Definition Classes
    Parsers
  244. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  245. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  246. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  247. def restriction: Parser[OWLClassExpression]
    Definition Classes
    ManchesterParsing
  248. def restrictionValue: Parser[OWLLiteral]
    Definition Classes
    ManchesterParsing
  249. def sameIndividual: Parser[List[OWLAxiom]]
    Definition Classes
    ManchesterParsing
  250. def scheme: Parser[String]
    Definition Classes
    IRIParsing
  251. def semicolon: Parser[String]
    Definition Classes
    IRIParsing
  252. def simpleIRI: Parser[IRI]
    Definition Classes
    IRIParsing
  253. def skipWhitespace: Boolean
    Definition Classes
    IRIParsing → RegexParsers
  254. def slash: Parser[String]
    Definition Classes
    IRIParsing
  255. def stringLiteralNoLanguage: Parser[OWLLiteral]
    Definition Classes
    ManchesterParsing
  256. def stringLiteralWithLanguage: Parser[OWLLiteral]
    Definition Classes
    ManchesterParsing
  257. def subClassOf: Parser[List[(OWLClassExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  258. def subDelims: Parser[String]
    Definition Classes
    IRIParsing
  259. def subPropertyChain: Parser[(List[OWLObjectPropertyExpression], List[OWLAnnotation])]
    Definition Classes
    ManchesterParsing
  260. def subPropertyOf: Parser[List[(OWLObjectPropertyExpression, List[OWLAnnotation])]]
    Definition Classes
    ManchesterParsing
  261. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  262. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  263. def tenToNinentynine: Parser[String]
    Definition Classes
    IRIParsing
  264. def tilde: Parser[String]
    Definition Classes
    IRIParsing
  265. def toString(input: Any): String
    Definition Classes
    IRIParsing
  266. def toString(): String
    Definition Classes
    AnyRef → Any
  267. def twohundredToTwohundredfourtynine: Parser[String]
    Definition Classes
    IRIParsing
  268. def twohundredfiftyToTwohundredfiftyfive: Parser[String]
    Definition Classes
    IRIParsing
  269. def typedLiteral: Parser[OWLLiteral]
    Definition Classes
    ManchesterParsing
  270. def ucschar: Parser[String]
    Definition Classes
    IRIParsing
  271. def underscore: Parser[String]
    Definition Classes
    IRIParsing
  272. def unravel[U](acc: List[U], parsResults: List[~[~[~[Option[String], String], Option[String]], U]]): List[U]

    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])]

    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]

    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]

    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)]

    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]

    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]
    Definition Classes
    ManchesterParsing
  279. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  280. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  281. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  282. val whiteSpace: Regex
    Definition Classes
    IRIParsing → RegexParsers
  283. def zero: Parser[Int]
    Definition Classes
    ManchesterParsing

Inherited from ManchesterParsing

Inherited from IRIParsing

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped