feat: implement SHACL to RDF

issue rudof-project#83

Cargo.toml

@@ -6,6 +6,7 @@ license = "GPL-3.0-or-later"
 authors = [
     "Jose Emilio Labra Gayo <[email protected]>",
     "Ángel Iglesias Préstamo <[email protected]>",
+    "Marc-Antoine Arnaud <[email protected]>",
 ]
 repository = "https://github.com/weso/shapes-rs"
 homepage = "https://www.weso.es/shapes-rs/"
@@ -50,6 +51,7 @@ license = "MIT OR Apache-2.0"
 authors = [
     "Jose Emilio Labra Gayo <[email protected]>",
     "Ángel Iglesias Préstamo <[email protected]>",
+    "Marc-Antoine Arnaud <[email protected]>",
 ]
 description = "RDF data shapes implementation in Rust"
 repository = "https://github.com/weso/shapes-rs"

iri_s/src/lib.rs

@@ -44,7 +44,7 @@ macro_rules! iri {
     (
    $lit: tt
  ) => {
-        IriS::new_unchecked($lit)
+        $crate::IriS::new_unchecked($lit)
     };
 }
 

shacl_ast/Cargo.toml

@@ -26,4 +26,6 @@ serde_json = "1"
 const_format = "0.2"
 itertools = "0.13"
 
+oxrdf = { version = "0.2.0-alpha.5", features = ["oxsdatatypes"] }
+
 [dev-dependencies]

shacl_ast/src/ast/component.rs

@@ -1,10 +1,18 @@
-use std::fmt::Display;
-
-use prefixmap::IriRef;
-use srdf::{lang::Lang, literal::Literal, RDFNode};
-
-use crate::{node_kind::NodeKind, value::Value};
+use crate::{
+    node_kind::NodeKind, value::Value, SH_AND_STR, SH_CLASS_STR, SH_CLOSED_STR, SH_DATATYPE_STR,
+    SH_DISJOINT_STR, SH_EQUALS_STR, SH_FLAGS_STR, SH_HAS_VALUE_STR, SH_IGNORED_PROPERTIES_STR,
+    SH_IRI_STR, SH_LANGUAGE_IN_STR, SH_LESS_THAN_OR_EQUALS_STR, SH_LESS_THAN_STR, SH_MAX_COUNT_STR,
+    SH_MAX_EXCLUSIVE_STR, SH_MAX_INCLUSIVE_STR, SH_MAX_LENGTH_STR, SH_MIN_COUNT_STR,
+    SH_MIN_EXCLUSIVE_STR, SH_MIN_INCLUSIVE_STR, SH_MIN_LENGTH_STR, SH_NODE_STR, SH_OR_STR,
+    SH_PATTERN_STR, SH_QUALIFIED_MAX_COUNT_STR, SH_QUALIFIED_MIN_COUNT_STR,
+    SH_QUALIFIED_VALUE_SHAPE_STR, SH_UNIQUE_LANG_STR, SH_XONE_STR,
+};
+use iri_s::iri;
 use itertools::Itertools;
+use oxrdf::{Literal as OxLiteral, NamedNode, Term as OxTerm};
+use prefixmap::IriRef;
+use srdf::{lang::Lang, literal::Literal, RDFNode, SRDFBuilder, XSD_INTEGER_STR};
+use std::fmt::Display;
 
 #[derive(Debug, Clone)]
 pub enum Component {
@@ -64,6 +72,248 @@ pub enum Component {
     },
 }
 
+impl Component {
+    pub fn write<RDF>(&self, rdf_node: &RDFNode, rdf: &mut RDF) -> Result<(), RDF::Err>
+    where
+        RDF: SRDFBuilder,
+    {
+        match self {
+            Self::Class(rdf_node) => {
+                Self::write_term(&RDF::object_as_term(rdf_node), SH_CLASS_STR, rdf_node, rdf)?;
+            }
+            Self::Datatype(iri) => {
+                Self::write_iri(iri, SH_DATATYPE_STR, rdf_node, rdf)?;
+            }
+            Self::NodeKind(node_kind) => {
+                let iri = match &node_kind {
+                    NodeKind::Iri => SH_IRI_STR,
+
+                    _ => unimplemented!(),
+                };
+
+                Self::write_iri(&IriRef::Iri(iri!(iri)), SH_DATATYPE_STR, rdf_node, rdf)?;
+            }
+            Self::MinCount(value) => {
+                Self::write_integer(*value, SH_MIN_COUNT_STR, rdf_node, rdf)?;
+            }
+            Self::MaxCount(value) => {
+                Self::write_integer(*value, SH_MAX_COUNT_STR, rdf_node, rdf)?;
+            }
+            Self::MinExclusive(value) => {
+                Self::write_literal(value, SH_MIN_EXCLUSIVE_STR, rdf_node, rdf)?;
+            }
+            Self::MaxExclusive(value) => {
+                Self::write_literal(value, SH_MAX_EXCLUSIVE_STR, rdf_node, rdf)?;
+            }
+            Self::MinInclusive(value) => {
+                Self::write_literal(value, SH_MIN_INCLUSIVE_STR, rdf_node, rdf)?;
+            }
+            Self::MaxInclusive(value) => {
+                Self::write_literal(value, SH_MAX_INCLUSIVE_STR, rdf_node, rdf)?;
+            }
+            Self::MinLength(value) => {
+                Self::write_integer(*value, SH_MIN_LENGTH_STR, rdf_node, rdf)?;
+            }
+            Self::MaxLength(value) => {
+                Self::write_integer(*value, SH_MAX_LENGTH_STR, rdf_node, rdf)?;
+            }
+            Self::Pattern { pattern, flags } => {
+                Self::write_literal(&Literal::str(pattern), SH_PATTERN_STR, rdf_node, rdf)?;
+                if let Some(flags) = flags {
+                    Self::write_literal(&Literal::str(flags), SH_FLAGS_STR, rdf_node, rdf)?;
+                }
+            }
+            Self::UniqueLang(value) => {
+                Self::write_literal(
+                    &Literal::BooleanLiteral(*value),
+                    SH_UNIQUE_LANG_STR,
+                    rdf_node,
+                    rdf,
+                )?;
+            }
+            Self::LanguageIn { langs } => {
+                langs.iter().try_for_each(|lang| {
+                    Self::write_literal(
+                        &Literal::str(&lang.value()),
+                        SH_LANGUAGE_IN_STR,
+                        rdf_node,
+                        rdf,
+                    )
+                })?;
+            }
+            Self::Equals(iri) => {
+                Self::write_iri(iri, SH_EQUALS_STR, rdf_node, rdf)?;
+            }
+            Self::Disjoint(iri) => {
+                Self::write_iri(iri, SH_DISJOINT_STR, rdf_node, rdf)?;
+            }
+            Self::LessThan(iri) => {
+                Self::write_iri(iri, SH_LESS_THAN_STR, rdf_node, rdf)?;
+            }
+            Self::LessThanOrEquals(iri) => {
+                Self::write_iri(iri, SH_LESS_THAN_OR_EQUALS_STR, rdf_node, rdf)?;
+            }
+            Self::Or { shapes } => {
+                shapes.iter().try_for_each(|shape| {
+                    Self::write_term(&RDF::object_as_term(shape), SH_OR_STR, rdf_node, rdf)
+                })?;
+            }
+            Self::And { shapes } => {
+                shapes.iter().try_for_each(|shape| {
+                    Self::write_term(&RDF::object_as_term(shape), SH_AND_STR, rdf_node, rdf)
+                })?;
+            }
+            Self::Not { shape } => {
+                Self::write_term(&RDF::object_as_term(shape), SH_PATTERN_STR, rdf_node, rdf)?;
+            }
+            Self::Xone { shapes } => {
+                shapes.iter().try_for_each(|shape| {
+                    Self::write_term(&RDF::object_as_term(shape), SH_XONE_STR, rdf_node, rdf)
+                })?;
+            }
+            Self::Closed {
+                is_closed,
+                ignored_properties,
+            } => {
+                Self::write_literal(
+                    &Literal::BooleanLiteral(*is_closed),
+                    SH_CLOSED_STR,
+                    rdf_node,
+                    rdf,
+                )?;
+
+                ignored_properties.iter().try_for_each(|iri| {
+                    Self::write_iri(iri, SH_IGNORED_PROPERTIES_STR, rdf_node, rdf)
+                })?;
+            }
+            Self::Node { shape } => {
+                Self::write_term(&RDF::object_as_term(shape), SH_NODE_STR, rdf_node, rdf)?;
+            }
+            Self::HasValue { value } => match value {
+                Value::Iri(iri) => {
+                    Self::write_iri(iri, SH_HAS_VALUE_STR, rdf_node, rdf)?;
+                }
+                Value::Literal(literal) => {
+                    Self::write_literal(
+                        &Literal::str(&literal.to_string()),
+                        SH_HAS_VALUE_STR,
+                        rdf_node,
+                        rdf,
+                    )?;
+                }
+            },
+            Self::In { values } => {
+                values.iter().try_for_each(|value| match value {
+                    Value::Iri(iri) => Self::write_iri(iri, SH_HAS_VALUE_STR, rdf_node, rdf),
+                    Value::Literal(literal) => Self::write_literal(
+                        &Literal::str(&literal.to_string()),
+                        SH_HAS_VALUE_STR,
+                        rdf_node,
+                        rdf,
+                    ),
+                })?;
+            }
+            Self::QualifiedValueShape {
+                shape,
+                qualified_min_count,
+                qualified_max_count,
+                qualified_value_shapes_disjoint,
+            } => {
+                Self::write_term(
+                    &RDF::object_as_term(shape),
+                    SH_QUALIFIED_VALUE_SHAPE_STR,
+                    rdf_node,
+                    rdf,
+                )?;
+
+                if let Some(value) = qualified_min_count {
+                    Self::write_integer(*value, SH_QUALIFIED_MIN_COUNT_STR, rdf_node, rdf)?;
+                }
+
+                if let Some(value) = qualified_max_count {
+                    Self::write_integer(*value, SH_QUALIFIED_MAX_COUNT_STR, rdf_node, rdf)?;
+                }
+
+                if let Some(value) = qualified_value_shapes_disjoint {
+                    Self::write_literal(
+                        &Literal::BooleanLiteral(*value),
+                        SH_QUALIFIED_MAX_COUNT_STR,
+                        rdf_node,
+                        rdf,
+                    )?;
+                }
+            }
+        }
+        Ok(())
+    }
+
+    fn write_integer<RDF>(
+        value: isize,
+        predicate: &str,
+        rdf_node: &RDFNode,
+        rdf: &mut RDF,
+    ) -> Result<(), RDF::Err>
+    where
+        RDF: SRDFBuilder,
+    {
+        let decimal_type = NamedNode::new(XSD_INTEGER_STR).unwrap();
+
+        let term = OxTerm::Literal(OxLiteral::new_typed_literal(
+            value.to_string(),
+            decimal_type,
+        ));
+
+        Self::write_term(&RDF::term_s2term(&term), predicate, rdf_node, rdf)
+    }
+
+    fn write_literal<RDF>(
+        value: &Literal,
+        predicate: &str,
+        rdf_node: &RDFNode,
+        rdf: &mut RDF,
+    ) -> Result<(), RDF::Err>
+    where
+        RDF: SRDFBuilder,
+    {
+        let term = OxTerm::Literal(OxLiteral::new_simple_literal(value.lexical_form()));
+
+        Self::write_term(&RDF::term_s2term(&term), predicate, rdf_node, rdf)
+    }
+
+    fn write_iri<RDF>(
+        value: &IriRef,
+        predicate: &str,
+        rdf_node: &RDFNode,
+        rdf: &mut RDF,
+    ) -> Result<(), RDF::Err>
+    where
+        RDF: SRDFBuilder,
+    {
+        Self::write_term(
+            &RDF::iri_s2term(&value.get_iri().unwrap()),
+            predicate,
+            rdf_node,
+            rdf,
+        )
+    }
+
+    fn write_term<RDF>(
+        value: &RDF::Term,
+        predicate: &str,
+        rdf_node: &RDFNode,
+        rdf: &mut RDF,
+    ) -> Result<(), RDF::Err>
+    where
+        RDF: SRDFBuilder,
+    {
+        rdf.add_triple(
+            &RDF::object_as_subject(rdf_node).unwrap(),
+            &RDF::iri_s2iri(&iri!(predicate)),
+            value,
+        )
+    }
+}
+
 impl Display for Component {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         match self {

shacl_ast/src/ast/message_map.rs

@@ -1,10 +1,46 @@
+use oxrdf::{Literal as OxLiteral, Term as OxTerm};
+use srdf::lang::Lang;
+use std::collections::HashMap;
+use std::str::FromStr;
+
 #[derive(Debug, Default, Clone)]
 pub struct MessageMap {
-    // mmap: HashMap<Option<Lang>, String>
+    messages: HashMap<Option<Lang>, String>,
 }
 
 impl MessageMap {
     pub fn new() -> Self {
         Self::default()
     }
+
+    pub fn with_message(mut self, lang: Option<Lang>, message: String) -> Self {
+        self.messages.insert(lang, message);
+        self
+    }
+
+    pub fn messages(&self) -> &HashMap<Option<Lang>, String> {
+        &self.messages
+    }
+
+    pub fn to_term_iter(&self) -> impl Iterator<Item = OxTerm> + '_ {
+        self.messages.iter().map(|(lang, message)| {
+            let literal = if let Some(lang) = lang {
+                OxLiteral::new_language_tagged_literal(message, lang.value()).unwrap()
+            } else {
+                OxLiteral::new_simple_literal(message)
+            };
+
+            OxTerm::Literal(literal)
+        })
+    }
+}
+
+impl FromStr for MessageMap {
+    type Err = ();
+
+    fn from_str(s: &str) -> Result<Self, Self::Err> {
+        Ok(Self {
+            messages: HashMap::from([(None, s.to_string())]),
+        })
+    }
 }