Initial commit.

This includes the build, and the core of the data model for OWL2.

Author: drdozer

.gitignore

@@ -0,0 +1,4 @@
+target/
+*.iml
+.idea/
+.history

core/src/main/scala/uk/co/turingatemyhamster/owl2/Iri.scala

@@ -0,0 +1,34 @@
+package uk.co.turingatemyhamster.owl2
+
+/**
+ * An abstraction of http://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#IRIs
+ *
+ * @author Matthew Pocock
+ */
+trait Iri {
+
+  /** An IRI as defined in [http://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#ref-rfc-3987 | RFC3987], enclosed in a
+    * pair of < (U+3C) and > (U+3E) characters.
+    */
+  type fullIRI
+
+  /** A finite sequence of characters matching the as PNAME_NS production of
+    * [http://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#ref-sparql | SPARQL].
+    */
+  type prefixName
+
+  /** A finite sequence of characters matching the PNAME_LN production of
+    * [http://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#ref-sparql | SPARQL].
+    */
+  type abbreviatedIRI
+
+  /** A full or abbreviated IRI.
+    */
+  type IRI
+
+  /** A fullIRI is an IRI. */
+  implicit def fullIRI_isa_IRI: fullIRI <:< IRI
+
+  /** An abbreviatedIRI is an IRI. */
+  implicit def abbreviatedIRI_isa_IRI: abbreviatedIRI <:< IRI
+}

core/src/main/scala/uk/co/turingatemyhamster/owl2/Ontologys.scala

@@ -0,0 +1,40 @@
+package uk.co.turingatemyhamster.owl2
+
+/**
+ * An abstraction of: http://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Ontologies
+ *
+ * @author Matthew Pocock
+ */
+trait Ontologys {
+
+  importedPackages : Iri =>
+
+  type Ontology
+
+  def Ontology : OntologyApi
+
+  trait OntologyApi {
+    def apply(directlyImportsDocuments: List[IRI],
+              ontologyIRI: Option[IRI],
+              versionIRI: Option[IRI],
+              ontologyAnnotation: List[Annotation],
+              axioms: List[Axiom]): Ontology
+    def unapply(o: Ontology): Option[(List[IRI], Option[IRI], Option[IRI], List[Annotation], List[Axiom])]
+  }
+
+  type Annotation
+  
+  def Annotation : AnnotationApi
+  
+  trait AnnotationApi {
+    def unapply(annotation: Annotation): Some[List[Annotation]]
+  }
+
+  type Axiom
+  
+  def Axiom : AxiomApi
+  
+  trait AxiomApi {
+    def unapply(axiom: Axiom): Some[List[Annotation]]
+  }
+}

core/src/main/scala/uk/co/turingatemyhamster/owl2/ast/IriImpl.scala

@@ -0,0 +1,27 @@
+package uk.co.turingatemyhamster
+package owl2
+package ast
+
+
+sealed trait IRI
+
+/** A full IRI string, without the wrapping < (U+3C) and > (U+3E) characters. */
+case class FullIRI(iriString: String) extends IRI
+
+/** A prefix string, matching the as PNAME_NS production of SPARQL. */
+case class PrefixName(prefixString: String)
+
+/** An abbreviated IRI, matching the PNAME_LN production of SPARQL. */
+case class AbbreviatedIRI(abbreviatedString: String) extends IRI
+
+trait IriImpl extends owl2.Iri {
+
+  override final type fullIRI = ast.FullIRI
+  override final type prefixName = ast.PrefixName
+  override final type abbreviatedIRI = ast.AbbreviatedIRI
+  override final type IRI = ast.IRI
+
+  override final implicit def fullIRI_isa_IRI: fullIRI <:< IRI = $conforms[fullIRI]
+
+  override final implicit def abbreviatedIRI_isa_IRI: abbreviatedIRI <:< IRI = $conforms[abbreviatedIRI]
+}

core/src/main/scala/uk/co/turingatemyhamster/owl2/ast/OntologysImpl.scala

@@ -0,0 +1,54 @@
+package uk.co.turingatemyhamster
+package owl2
+package ast
+
+/**
+ *
+ *
+ * @author Matthew Pocock
+ */
+trait OntologysImpl extends owl2.Ontologys {
+
+  importedPackages : owl2.Iri =>
+
+  override type Ontology = ast.Ontology[IRI, Annotation, Axiom]
+
+  override final val Ontology: OntologyApi = new OntologyApi {
+    override def apply(directlyImports: List[IRI],
+                       ontologyIRI: Option[IRI],
+                       versionIRI: Option[IRI],
+                       ontologyAnnotation: List[Annotation],
+                       axioms: List[Axiom]) = ast.Ontology(directlyImports, ontologyIRI, versionIRI, ontologyAnnotation, axioms)
+
+    override def unapply(o: Ontology) = ast.Ontology.unapply(o)
+  }
+
+  override final type Annotation = ast.Annotation
+
+  override final val Annotation: AnnotationApi = new AnnotationApi {
+    override def unapply(annotation: Annotation) = Some(annotation.annotationAnnotations)
+  }
+
+  override final type Axiom = ast.Axiom
+
+  override final val Axiom: AxiomApi = new AxiomApi {
+    override def unapply(axiom: Axiom) = Some(axiom.axiomAnnotations)
+  }
+}
+
+// constraint: versionIRI.isDefined ==> ontologyIRI.isDefined
+// Could encode as:
+//   case class OntologyURI(uriValue: IRI, versionIRI: Option[IRI])
+case class Ontology[IRI, Annotation, Axiom](directlyImportsDocuments: List[IRI],
+                                            ontologyIRI: Option[IRI],
+                                            versionIRI: Option[IRI],
+                                            ontologyAnnotations: List[Annotation],
+                                            axioms: List[Axiom])
+
+trait Annotation {
+  def annotationAnnotations: List[Annotation]
+}
+
+trait Axiom {
+  def axiomAnnotations: List[Annotation]
+}

project/Build.scala

@@ -0,0 +1,33 @@
+import sbt._
+import sbt.Keys._
+
+
+object Owl2Build extends Build {
+
+  val logger = ConsoleLogger()
+
+  val baseVersion = "0.1.0"
+
+  lazy val core = project.settings(
+    organization := "uk.co.turingatemyhamster",
+    scalaVersion := "2.11.4",
+    crossScalaVersions := Seq("2.11.4", "2.10.4"),
+    scalacOptions ++= Seq("-deprecation", "-unchecked"),
+    version := baseVersion,
+    resolvers += Resolver.url(
+      "bintray-scalajs-releases",
+      url("http://dl.bintray.com/scala-js/scala-js-releases/"))(
+        Resolver.ivyStylePatterns),
+    resolvers += "bintray/non" at "http://dl.bintray.com/non/maven",
+    resolvers ++= Seq("snapshots", "releases").map(Resolver.sonatypeRepo),
+    resolvers += "spray repo" at "http://repo.spray.io",
+    resolvers += "Scalaz Bintray Repo" at "http://dl.bintray.com/scalaz/releases",
+    resolvers += "drdozer Bintray Repo" at "http://dl.bintray.com/content/drdozer/maven",
+    publishMavenStyle := true,
+    //repository in bintray := "maven",
+    //bintrayOrganization in bintray := None,
+    licenses +=("Apache-2.0", url("http://www.apache.org/licenses/LICENSE-2.0.html"))
+  )
+
+}
+