diff options
| author | Trygve Laugstøl <trygvis@inamo.no> | 2018-08-20 23:28:00 +0200 |
|---|---|---|
| committer | Trygve Laugstøl <trygvis@inamo.no> | 2018-08-20 23:28:00 +0200 |
| commit | ec429f152cf1d32a86f5783ed87453b42f7ef190 (patch) | |
| tree | e872b07b9c59fc911dff06c0fe9abcc69f763405 /stm32/stm32.rules | |
| parent | 61bbddad93ada8f877c26b8d748c8326085d3e3a (diff) | |
| download | semantic-sandbox-master.tar.gz semantic-sandbox-master.tar.bz2 semantic-sandbox-master.tar.xz semantic-sandbox-master.zip | |
Diffstat (limited to 'stm32/stm32.rules')
| -rw-r--r-- | stm32/stm32.rules | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/stm32/stm32.rules b/stm32/stm32.rules new file mode 100644 index 0000000..4809e6f --- /dev/null +++ b/stm32/stm32.rules @@ -0,0 +1,22 @@ +# @prefix : <http://org.jena.rules.tutorial#> . +@prefix : <https://trygvis.io/owl/stm32/STM32%20High%20Performance%20MCUs.owl#> + +[hasStudentRule: + (?student :takesCourse ?course) + (?lecturer :teachesCourse ?course) + -> + (?lecturer :hasStudent ?student) +] + +[pensionerRule: + (?person :hasAge ?age) + greaterThan(?age, 60) + -> + (?person a :Pensioner) +] + +[wat: + (?chip :co-processor-type "-") + -> + remove(0) +] |