diff --git a/CLAUDE.md b/CLAUDE.md index 6cbbcb2..6602eb6 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -44,7 +44,6 @@ EntEdit/ │ ├── types/ # Vocabulary files loaded into GraphDB on init │ ├── sparql/ # SPARQL query definitions │ ├── lucene_connectors/ # Lucene index configurations -│ ├── inference_rules/ # GraphDB inference rule sets │ └── testdata/ # Sample RDF entities for testing ├── docker/ # Docker deployment configs │ ├── nginx/ # nginx SPA + proxy config diff --git a/README.md b/README.md index d85a5f1..d2c960a 100644 --- a/README.md +++ b/README.md @@ -87,8 +87,7 @@ EntEdit/ ├── database/ # RDF data and GraphDB configuration │ ├── types/ # Vocabulary files loaded on first startup │ ├── graphdb/ # SPARQL connector query definitions -│ ├── lucene_connectors/ # Full-text index definitions -│ └── inference_rules/ # GraphDB inference rule sets +│ └── lucene_connectors/ # Full-text index definitions ├── docker/ # Docker deployment configuration │ └── graphdb/ # Repository definition and init script └── docker-compose.yml diff --git a/app/public/docs/en/setup.html b/app/public/docs/en/setup.html index 7d680e3..dacdcc7 100644 --- a/app/public/docs/en/setup.html +++ b/app/public/docs/en/setup.html @@ -278,8 +278,7 @@

5. Repository structure

├── database/
│ ├── types/ ← Vocabulary files (loaded into GraphDB)
│ ├── testdata/ ← Sample RDF entities
-│ ├── graphdb/ ← SPARQL connector definitions
-│ └── inference_rules/← GraphDB reasoning rules
+│ └── graphdb/ ← SPARQL connector definitions
├── docker/
│ ├── graphdb/ ← Repository config + init script
│ └── nginx/ ← Web server + proxy config
diff --git a/app/public/docs/no/setup.html b/app/public/docs/no/setup.html index ce7278a..2c83f42 100644 --- a/app/public/docs/no/setup.html +++ b/app/public/docs/no/setup.html @@ -278,8 +278,7 @@

5. Katalogstruktur

├── database/
│ ├── types/ ← Vokabularfiler (lastes inn i GraphDB)
│ ├── testdata/ ← Eksempel-RDF-entiteter
-│ ├── graphdb/ ← SPARQL-koblingsdefinisjoner
-│ └── inference_rules/← GraphDB-resonneringsregler
+│ └── graphdb/ ← SPARQL-koblingsdefinisjoner
├── docker/
│ ├── graphdb/ ← Repositoriumkonfigurasjon + init-skript
│ └── nginx/ ← Webserver- og proxy-konfigurasjon
diff --git a/docs/examples/graphdb-custom-rules/README.md b/docs/examples/graphdb-custom-rules/README.md new file mode 100644 index 0000000..87e770d --- /dev/null +++ b/docs/examples/graphdb-custom-rules/README.md @@ -0,0 +1,3 @@ +# GraphDB custom-rules example + +`inverse.rules.pie` is a standalone example of a GraphDB PIE (Prolog-style Inference Engine) ruleset, demonstrating how `owl:inverseOf` entailment and a few `owl:sameAs` propagation rules can be expressed as custom inference rules. It is **not** wired into the running EntEdit stack — the live repository configuration in [`docker/graphdb/repositories/EntEdit/config.ttl`](../../../docker/graphdb/repositories/EntEdit/config.ttl) uses GraphDB's built-in `rdfsplus-optimized` ruleset, which already covers these entailments. The file is kept here purely as a reference for anyone who wants to author their own ruleset; see the GraphDB documentation on [reasoning and rulesets](https://graphdb.ontotext.com/documentation/standard/reasoning.html) for how to register and load a custom `.pie` file. diff --git a/database/inference_rules/inverse.rules.pie b/docs/examples/graphdb-custom-rules/inverse.rules.pie similarity index 100% rename from database/inference_rules/inverse.rules.pie rename to docs/examples/graphdb-custom-rules/inverse.rules.pie