@skaterqiang/protege-js 0.1.0

package/docs/owl2-rl/rl_rules.json

@@ -0,0 +1,392 @@
+[
+ {
+  "id": "eq-ref",
+  "if": "T(?s, ?p, ?o)",
+  "then": "T(?s, owl:sameAs, ?s)\nT(?p, owl:sameAs, ?p)\nT(?o, owl:sameAs, ?o)"
+ },
+ {
+  "id": "eq-sym",
+  "if": "T(?x, owl:sameAs, ?y)",
+  "then": "T(?y, owl:sameAs, ?x)"
+ },
+ {
+  "id": "eq-trans",
+  "if": "T(?x, owl:sameAs, ?y)\nT(?y, owl:sameAs, ?z)",
+  "then": "T(?x, owl:sameAs, ?z)"
+ },
+ {
+  "id": "eq-rep-s",
+  "if": "T(?s, owl:sameAs, ?s')\nT(?s, ?p, ?o)",
+  "then": "T(?s', ?p, ?o)"
+ },
+ {
+  "id": "eq-rep-p",
+  "if": "T(?p, owl:sameAs, ?p')\nT(?s, ?p, ?o)",
+  "then": "T(?s, ?p', ?o)"
+ },
+ {
+  "id": "eq-rep-o",
+  "if": "T(?o, owl:sameAs, ?o')\nT(?s, ?p, ?o)",
+  "then": "T(?s, ?p, ?o')"
+ },
+ {
+  "id": "eq-diff1",
+  "if": "T(?x, owl:sameAs, ?y)\nT(?x, owl:differentFrom, ?y)",
+  "then": "false"
+ },
+ {
+  "id": "eq-diff2",
+  "if": "T(?x, rdf:type, owl:AllDifferent)\nT(?x, owl:members, ?y)\nLIST[?y, ?z1, ..., ?zn]\nT(?zi, owl:sameAs, ?zj)",
+  "then": "false"
+ },
+ {
+  "id": "eq-diff3",
+  "if": "T(?x, rdf:type, owl:AllDifferent)\nT(?x, owl:distinctMembers, ?y)\nLIST[?y, ?z1, ..., ?zn]\nT(?zi, owl:sameAs, ?zj)",
+  "then": "false"
+ },
+ {
+  "id": "prp-ap",
+  "if": "",
+  "then": "T(ap, rdf:type, owl:AnnotationProperty)"
+ },
+ {
+  "id": "prp-dom",
+  "if": "T(?p, rdfs:domain, ?c)\nT(?x, ?p, ?y)",
+  "then": "T(?x, rdf:type, ?c)"
+ },
+ {
+  "id": "prp-rng",
+  "if": "T(?p, rdfs:range, ?c)\nT(?x, ?p, ?y)",
+  "then": "T(?y, rdf:type, ?c)"
+ },
+ {
+  "id": "prp-fp",
+  "if": "T(?p, rdf:type, owl:FunctionalProperty)\nT(?x, ?p, ?y1)\nT(?x, ?p, ?y2)",
+  "then": "T(?y1, owl:sameAs, ?y2)"
+ },
+ {
+  "id": "prp-ifp",
+  "if": "T(?p, rdf:type, owl:InverseFunctionalProperty)\nT(?x1, ?p, ?y)\nT(?x2, ?p, ?y)",
+  "then": "T(?x1, owl:sameAs, ?x2)"
+ },
+ {
+  "id": "prp-irp",
+  "if": "T(?p, rdf:type, owl:IrreflexiveProperty)\nT(?x, ?p, ?x)",
+  "then": "false"
+ },
+ {
+  "id": "prp-symp",
+  "if": "T(?p, rdf:type, owl:SymmetricProperty)\nT(?x, ?p, ?y)",
+  "then": "T(?y, ?p, ?x)"
+ },
+ {
+  "id": "prp-asyp",
+  "if": "T(?p, rdf:type, owl:AsymmetricProperty)\nT(?x, ?p, ?y)\nT(?y, ?p, ?x)",
+  "then": "false"
+ },
+ {
+  "id": "prp-trp",
+  "if": "T(?p, rdf:type, owl:TransitiveProperty)\nT(?x, ?p, ?y)\nT(?y, ?p, ?z)",
+  "then": "T(?x, ?p, ?z)"
+ },
+ {
+  "id": "prp-spo1",
+  "if": "T(?p1, rdfs:subPropertyOf, ?p2)\nT(?x, ?p1, ?y)",
+  "then": "T(?x, ?p2, ?y)"
+ },
+ {
+  "id": "prp-spo2",
+  "if": "T(?p, owl:propertyChainAxiom, ?x)\nLIST[?x, ?p1, ..., ?pn]\nT(?u1, ?p1, ?u2)\nT(?u2, ?p2, ?u3)\n...\nT(?un, ?pn, ?un+1)",
+  "then": "T(?u1, ?p, ?un+1)"
+ },
+ {
+  "id": "prp-eqp1",
+  "if": "T(?p1, owl:equivalentProperty, ?p2)\nT(?x, ?p1, ?y)",
+  "then": "T(?x, ?p2, ?y)"
+ },
+ {
+  "id": "prp-eqp2",
+  "if": "T(?p1, owl:equivalentProperty, ?p2)\nT(?x, ?p2, ?y)",
+  "then": "T(?x, ?p1, ?y)"
+ },
+ {
+  "id": "prp-pdw",
+  "if": "T(?p1, owl:propertyDisjointWith, ?p2)\nT(?x, ?p1, ?y)\nT(?x, ?p2, ?y)",
+  "then": "false"
+ },
+ {
+  "id": "prp-adp",
+  "if": "T(?x, rdf:type, owl:AllDisjointProperties)\nT(?x, owl:members, ?y)\nLIST[?y, ?p1, ..., ?pn]\nT(?u, ?pi, ?v)\nT(?u, ?pj, ?v)",
+  "then": "false"
+ },
+ {
+  "id": "prp-inv1",
+  "if": "T(?p1, owl:inverseOf, ?p2)\nT(?x, ?p1, ?y)",
+  "then": "T(?y, ?p2, ?x)"
+ },
+ {
+  "id": "prp-inv2",
+  "if": "T(?p1, owl:inverseOf, ?p2)\nT(?x, ?p2, ?y)",
+  "then": "T(?y, ?p1, ?x)"
+ },
+ {
+  "id": "prp-key",
+  "if": "T(?c, owl:hasKey, ?u)\nLIST[?u, ?p1, ..., ?pn]\nT(?x, rdf:type, ?c)\nT(?x, ?p1, ?z1)\n...\nT(?x, ?pn, ?zn)\nT(?y, rdf:type, ?c)\nT(?y, ?p1, ?z1)\n...\nT(?y, ?pn, ?zn)",
+  "then": "T(?x, owl:sameAs, ?y)"
+ },
+ {
+  "id": "prp-npa1",
+  "if": "T(?x, owl:sourceIndividual, ?i1)\nT(?x, owl:assertionProperty, ?p)\nT(?x, owl:targetIndividual, ?i2)\nT(?i1, ?p, ?i2)",
+  "then": "false"
+ },
+ {
+  "id": "prp-npa2",
+  "if": "T(?x, owl:sourceIndividual, ?i)\nT(?x, owl:assertionProperty, ?p)\nT(?x, owl:targetValue, ?lt)\nT(?i, ?p, ?lt)",
+  "then": "false"
+ },
+ {
+  "id": "cls-thing",
+  "if": "",
+  "then": "T(owl:Thing, rdf:type, owl:Class)"
+ },
+ {
+  "id": "cls-nothing1",
+  "if": "",
+  "then": "T(owl:Nothing, rdf:type, owl:Class)"
+ },
+ {
+  "id": "cls-nothing2",
+  "if": "T(?x, rdf:type, owl:Nothing)",
+  "then": "false"
+ },
+ {
+  "id": "cls-int1",
+  "if": "T(?c, owl:intersectionOf, ?x)\nLIST[?x, ?c1, ..., ?cn]\nT(?y, rdf:type, ?c1)\nT(?y, rdf:type, ?c2)\n...\nT(?y, rdf:type, ?cn)",
+  "then": "T(?y, rdf:type, ?c)"
+ },
+ {
+  "id": "cls-int2",
+  "if": "T(?c, owl:intersectionOf, ?x)\nLIST[?x, ?c1, ..., ?cn]\nT(?y, rdf:type, ?c)",
+  "then": "T(?y, rdf:type, ?c1)\nT(?y, rdf:type, ?c2)\n...\nT(?y, rdf:type, ?cn)"
+ },
+ {
+  "id": "cls-uni",
+  "if": "T(?c, owl:unionOf, ?x)\nLIST[?x, ?c1, ..., ?cn]\nT(?y, rdf:type, ?ci)",
+  "then": "T(?y, rdf:type, ?c)"
+ },
+ {
+  "id": "cls-com",
+  "if": "T(?c1, owl:complementOf, ?c2)\nT(?x, rdf:type, ?c1)\nT(?x, rdf:type, ?c2)",
+  "then": "false"
+ },
+ {
+  "id": "cls-svf1",
+  "if": "T(?x, owl:someValuesFrom, ?y)\nT(?x, owl:onProperty, ?p)\nT(?u, ?p, ?v)\nT(?v, rdf:type, ?y)",
+  "then": "T(?u, rdf:type, ?x)"
+ },
+ {
+  "id": "cls-svf2",
+  "if": "T(?x, owl:someValuesFrom, owl:Thing)\nT(?x, owl:onProperty, ?p)\nT(?u, ?p, ?v)",
+  "then": "T(?u, rdf:type, ?x)"
+ },
+ {
+  "id": "cls-avf",
+  "if": "T(?x, owl:allValuesFrom, ?y)\nT(?x, owl:onProperty, ?p)\nT(?u, rdf:type, ?x)\nT(?u, ?p, ?v)",
+  "then": "T(?v, rdf:type, ?y)"
+ },
+ {
+  "id": "cls-hv1",
+  "if": "T(?x, owl:hasValue, ?y)\nT(?x, owl:onProperty, ?p)\nT(?u, rdf:type, ?x)",
+  "then": "T(?u, ?p, ?y)"
+ },
+ {
+  "id": "cls-hv2",
+  "if": "T(?x, owl:hasValue, ?y)\nT(?x, owl:onProperty, ?p)\nT(?u, ?p, ?y)",
+  "then": "T(?u, rdf:type, ?x)"
+ },
+ {
+  "id": "cls-maxc1",
+  "if": "T(?x, owl:maxCardinality, \"0\"^^xsd:nonNegativeInteger)\nT(?x, owl:onProperty, ?p)\nT(?u, rdf:type, ?x)\nT(?u, ?p, ?y)",
+  "then": "false"
+ },
+ {
+  "id": "cls-maxc2",
+  "if": "T(?x, owl:maxCardinality, \"1\"^^xsd:nonNegativeInteger)\nT(?x, owl:onProperty, ?p)\nT(?u, rdf:type, ?x)\nT(?u, ?p, ?y1)\nT(?u, ?p, ?y2)",
+  "then": "T(?y1, owl:sameAs, ?y2)"
+ },
+ {
+  "id": "cls-maxqc1",
+  "if": "T(?x, owl:maxQualifiedCardinality, \"0\"^^xsd:nonNegativeInteger)\nT(?x, owl:onProperty, ?p)\nT(?x, owl:onClass, ?c)\nT(?u, rdf:type, ?x)\nT(?u, ?p, ?y)\nT(?y, rdf:type, ?c)",
+  "then": "false"
+ },
+ {
+  "id": "cls-maxqc2",
+  "if": "T(?x, owl:maxQualifiedCardinality, \"0\"^^xsd:nonNegativeInteger)\nT(?x, owl:onProperty, ?p)\nT(?x, owl:onClass, owl:Thing)\nT(?u, rdf:type, ?x)\nT(?u, ?p, ?y)",
+  "then": "false"
+ },
+ {
+  "id": "cls-maxqc3",
+  "if": "T(?x, owl:maxQualifiedCardinality, \"1\"^^xsd:nonNegativeInteger)\nT(?x, owl:onProperty, ?p)\nT(?x, owl:onClass, ?c)\nT(?u, rdf:type, ?x)\nT(?u, ?p, ?y1)\nT(?y1, rdf:type, ?c)\nT(?u, ?p, ?y2)\nT(?y2, rdf:type, ?c)",
+  "then": "T(?y1, owl:sameAs, ?y2)"
+ },
+ {
+  "id": "cls-maxqc4",
+  "if": "T(?x, owl:maxQualifiedCardinality, \"1\"^^xsd:nonNegativeInteger)\nT(?x, owl:onProperty, ?p)\nT(?x, owl:onClass, owl:Thing)\nT(?u, rdf:type, ?x)\nT(?u, ?p, ?y1)\nT(?u, ?p, ?y2)",
+  "then": "T(?y1, owl:sameAs, ?y2)"
+ },
+ {
+  "id": "cls-oo",
+  "if": "T(?c, owl:oneOf, ?x)\nLIST[?x, ?y1, ..., ?yn]",
+  "then": "T(?y1, rdf:type, ?c)\n...\nT(?yn, rdf:type, ?c)"
+ },
+ {
+  "id": "cax-sco",
+  "if": "T(?c1, rdfs:subClassOf, ?c2)\nT(?x, rdf:type, ?c1)",
+  "then": "T(?x, rdf:type, ?c2)"
+ },
+ {
+  "id": "cax-eqc1",
+  "if": "T(?c1, owl:equivalentClass, ?c2)\nT(?x, rdf:type, ?c1)",
+  "then": "T(?x, rdf:type, ?c2)"
+ },
+ {
+  "id": "cax-eqc2",
+  "if": "T(?c1, owl:equivalentClass, ?c2)\nT(?x, rdf:type, ?c2)",
+  "then": "T(?x, rdf:type, ?c1)"
+ },
+ {
+  "id": "cax-dw",
+  "if": "T(?c1, owl:disjointWith, ?c2)\nT(?x, rdf:type, ?c1)\nT(?x, rdf:type, ?c2)",
+  "then": "false"
+ },
+ {
+  "id": "cax-adc",
+  "if": "T(?x, rdf:type, owl:AllDisjointClasses)\nT(?x, owl:members, ?y)\nLIST[?y, ?c1, ..., ?cn]\nT(?z, rdf:type, ?ci)\nT(?z, rdf:type, ?cj)",
+  "then": "false"
+ },
+ {
+  "id": "dt-type1",
+  "if": "",
+  "then": "T(dt, rdf:type, rdfs:Datatype)"
+ },
+ {
+  "id": "dt-type2",
+  "if": "",
+  "then": "T(lt, rdf:type, dt)"
+ },
+ {
+  "id": "dt-eq",
+  "if": "",
+  "then": "T(lt1, owl:sameAs, lt2)"
+ },
+ {
+  "id": "dt-diff",
+  "if": "",
+  "then": "T(lt1, owl:differentFrom, lt2)"
+ },
+ {
+  "id": "dt-not-type",
+  "if": "T(lt, rdf:type, dt)",
+  "then": "false"
+ },
+ {
+  "id": "scm-cls",
+  "if": "T(?c, rdf:type, owl:Class)",
+  "then": "T(?c, rdfs:subClassOf, ?c)\nT(?c, owl:equivalentClass, ?c)\nT(?c, rdfs:subClassOf, owl:Thing)\nT(owl:Nothing, rdfs:subClassOf, ?c)"
+ },
+ {
+  "id": "scm-sco",
+  "if": "T(?c1, rdfs:subClassOf, ?c2)\nT(?c2, rdfs:subClassOf, ?c3)",
+  "then": "T(?c1, rdfs:subClassOf, ?c3)"
+ },
+ {
+  "id": "scm-eqc1",
+  "if": "T(?c1, owl:equivalentClass, ?c2)",
+  "then": "T(?c1, rdfs:subClassOf, ?c2)\nT(?c2, rdfs:subClassOf, ?c1)"
+ },
+ {
+  "id": "scm-eqc2",
+  "if": "T(?c1, rdfs:subClassOf, ?c2)\nT(?c2, rdfs:subClassOf, ?c1)",
+  "then": "T(?c1, owl:equivalentClass, ?c2)"
+ },
+ {
+  "id": "scm-op",
+  "if": "T(?p, rdf:type, owl:ObjectProperty)",
+  "then": "T(?p, rdfs:subPropertyOf, ?p)\nT(?p, owl:equivalentProperty, ?p)"
+ },
+ {
+  "id": "scm-dp",
+  "if": "T(?p, rdf:type, owl:DatatypeProperty)",
+  "then": "T(?p, rdfs:subPropertyOf, ?p)\nT(?p, owl:equivalentProperty, ?p)"
+ },
+ {
+  "id": "scm-spo",
+  "if": "T(?p1, rdfs:subPropertyOf, ?p2)\nT(?p2, rdfs:subPropertyOf, ?p3)",
+  "then": "T(?p1, rdfs:subPropertyOf, ?p3)"
+ },
+ {
+  "id": "scm-eqp1",
+  "if": "T(?p1, owl:equivalentProperty, ?p2)",
+  "then": "T(?p1, rdfs:subPropertyOf, ?p2)\nT(?p2, rdfs:subPropertyOf, ?p1)"
+ },
+ {
+  "id": "scm-eqp2",
+  "if": "T(?p1, rdfs:subPropertyOf, ?p2)\nT(?p2, rdfs:subPropertyOf, ?p1)",
+  "then": "T(?p1, owl:equivalentProperty, ?p2)"
+ },
+ {
+  "id": "scm-dom1",
+  "if": "T(?p, rdfs:domain, ?c1)\nT(?c1, rdfs:subClassOf, ?c2)",
+  "then": "T(?p, rdfs:domain, ?c2)"
+ },
+ {
+  "id": "scm-dom2",
+  "if": "T(?p2, rdfs:domain, ?c)\nT(?p1, rdfs:subPropertyOf, ?p2)",
+  "then": "T(?p1, rdfs:domain, ?c)"
+ },
+ {
+  "id": "scm-rng1",
+  "if": "T(?p, rdfs:range, ?c1)\nT(?c1, rdfs:subClassOf, ?c2)",
+  "then": "T(?p, rdfs:range, ?c2)"
+ },
+ {
+  "id": "scm-rng2",
+  "if": "T(?p2, rdfs:range, ?c)\nT(?p1, rdfs:subPropertyOf, ?p2)",
+  "then": "T(?p1, rdfs:range, ?c)"
+ },
+ {
+  "id": "scm-hv",
+  "if": "T(?c1, owl:hasValue, ?i)\nT(?c1, owl:onProperty, ?p1)\nT(?c2, owl:hasValue, ?i)\nT(?c2, owl:onProperty, ?p2)\nT(?p1, rdfs:subPropertyOf, ?p2)",
+  "then": "T(?c1, rdfs:subClassOf, ?c2)"
+ },
+ {
+  "id": "scm-svf1",
+  "if": "T(?c1, owl:someValuesFrom, ?y1)\nT(?c1, owl:onProperty, ?p)\nT(?c2, owl:someValuesFrom, ?y2)\nT(?c2, owl:onProperty, ?p)\nT(?y1, rdfs:subClassOf, ?y2)",
+  "then": "T(?c1, rdfs:subClassOf, ?c2)"
+ },
+ {
+  "id": "scm-svf2",
+  "if": "T(?c1, owl:someValuesFrom, ?y)\nT(?c1, owl:onProperty, ?p1)\nT(?c2, owl:someValuesFrom, ?y)\nT(?c2, owl:onProperty, ?p2)\nT(?p1, rdfs:subPropertyOf, ?p2)",
+  "then": "T(?c1, rdfs:subClassOf, ?c2)"
+ },
+ {
+  "id": "scm-avf1",
+  "if": "T(?c1, owl:allValuesFrom, ?y1)\nT(?c1, owl:onProperty, ?p)\nT(?c2, owl:allValuesFrom, ?y2)\nT(?c2, owl:onProperty, ?p)\nT(?y1, rdfs:subClassOf, ?y2)",
+  "then": "T(?c1, rdfs:subClassOf, ?c2)"
+ },
+ {
+  "id": "scm-avf2",
+  "if": "T(?c1, owl:allValuesFrom, ?y)\nT(?c1, owl:onProperty, ?p1)\nT(?c2, owl:allValuesFrom, ?y)\nT(?c2, owl:onProperty, ?p2)\nT(?p1, rdfs:subPropertyOf, ?p2)",
+  "then": "T(?c2, rdfs:subClassOf, ?c1)"
+ },
+ {
+  "id": "scm-int",
+  "if": "T(?c, owl:intersectionOf, ?x)\nLIST[?x, ?c1, ..., ?cn]",
+  "then": "T(?c, rdfs:subClassOf, ?c1)\nT(?c, rdfs:subClassOf, ?c2)\n...\nT(?c, rdfs:subClassOf, ?cn)"
+ },
+ {
+  "id": "scm-uni",
+  "if": "T(?c, owl:unionOf, ?x)\nLIST[?x, ?c1, ..., ?cn]",
+  "then": "T(?c1, rdfs:subClassOf, ?c)\nT(?c2, rdfs:subClassOf, ?c)\n...\nT(?cn, rdfs:subClassOf, ?c)"
+ }
+]

package/main.js

@@ -0,0 +1,46 @@
+'use strict';
+
+// ---------------------------------------------------------------------------
+// Electron desktop shell for protege-js.
+// Starts the local web server, then opens a BrowserWindow pointing at it.
+// Run: node main.js  (or: npx electron . )
+// ---------------------------------------------------------------------------
+
+const path = require('path');
+const { start, PORT } = require('./src/server/webServer');
+
+function startElectron() {
+  const { app, BrowserWindow } = require('electron');
+
+  app.whenReady().then(() => {
+    const server = start(PORT);
+    const win = new BrowserWindow({
+      width: 1280,
+      height: 840,
+      title: 'Protégé JS',
+      backgroundColor: '#1e1e1e',
+      webPreferences: {
+        contextIsolation: true
+      }
+    });
+    win.loadURL(`http://localhost:${PORT}/`);
+    app.on('window-all-closed', () => {
+      server.close();
+      if (process.platform !== 'darwin') app.quit();
+      else app.quit();
+    });
+  });
+}
+
+function startHeadless() {
+  // No Electron available (e.g. running with plain node) — just run the server.
+  start(PORT);
+  console.log('Open http://localhost:' + PORT + '/ in a browser.');
+}
+
+try {
+  require.resolve('electron');
+  startElectron();
+} catch {
+  startHeadless();
+}

package/package.json

@@ -0,0 +1,76 @@
+{
+  "name": "@skaterqiang/protege-js",
+  "version": "0.1.0",
+  "description": "Zero-dependency OWL 2 / RDF / SWRL library for Node.js: 6 parsers, 3 serializers, and a forward-chaining reasoner covering all 78 W3C OWL 2 RL rules plus QL/EL profiles. A Node.js port of Protégé's non-UI core.",
+  "main": "src/index.js",
+  "exports": {
+    ".": "./src/index.js",
+    "./src/*.js": "./src/*.js",
+    "./src/*": "./src/*.js",
+    "./package.json": "./package.json"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "src/",
+    "docs/",
+    "sample/",
+    "test/",
+    "scripts/",
+    "main.js",
+    "README.md",
+    "CHANGELOG.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "start": "node main.js",
+    "start:web": "node src/server/webServer.js",
+    "test": "node --test test/*.test.js test/owl2rl/*.test.js test/owl2/*.test.js",
+    "test:rl": "node --test test/owl2rl/*.test.js",
+    "test:spec": "node --test test/owl2/*.test.js",
+    "verify:api": "node scripts/verify-api.js",
+    "sample": "node sample/case1-ecommerce-risk.js",
+    "prepublishOnly": "npm test && npm run verify:api"
+  },
+  "keywords": [
+    "owl",
+    "owl2",
+    "owl2-rl",
+    "rdf",
+    "rdfs",
+    "swrl",
+    "ontology",
+    "semantic-web",
+    "reasoner",
+    "reasoning",
+    "knowledge-graph",
+    "turtle",
+    "rdfxml",
+    "manchester-syntax",
+    "functional-syntax",
+    "protege",
+    "bfo",
+    "description-logic",
+    "parser",
+    "serializer"
+  ],
+  "author": "skaterqiang",
+  "license": "BSD-2-Clause",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/skaterqiang/protege-js.git"
+  },
+  "homepage": "https://github.com/skaterqiang/protege-js#readme",
+  "bugs": {
+    "url": "https://github.com/skaterqiang/protege-js/issues"
+  },
+  "engines": {
+    "node": ">=18.0.0"
+  },
+  "sideEffects": false,
+  "dependencies": {},
+  "devDependencies": {
+    "electron": "^33.0.0"
+  }
+}

package/sample/README.md

@@ -0,0 +1,74 @@
+# 业务案例（sample/）—— OWL 2 端到端实战
+
+本目录收录 **10 个真实业务场景** 的端到端示例，演示 protege-js 如何用 OWL 2 解决具体业务问题。每个案例独立成文件、可直接运行，并由 [../test/owl2/sample-e2e.test.js](../test/owl2/sample-e2e.test.js) 做自动化断言。
+
+其中 [ontologies/](ontologies/) 目录存放**真实下载的行业公开标准本体** OWL 文件（BFO / OGMS / RO-core / IAO，均来自 OBO Foundry 官方 PURL），案例 8、9 直接加载这些真实文件。
+
+## 运行
+
+```bash
+# 单独运行某个案例（打印中文业务结论）
+node sample/case1-ecommerce-risk.js
+
+# 运行全部 10 个案例
+for f in sample/case*.js; do echo "=== $f ==="; node "$f"; done
+
+# 作为端到端测试运行（纳入 npm test）
+node --test test/owl2/sample-e2e.test.js
+```
+
+## 案例一览
+
+| # | 文件 | 业务场景 | 用到的 OWL 2 能力 |
+|---|------|---------|------------------|
+| 1 | [case1-ecommerce-risk.js](case1-ecommerce-risk.js) | **电商订单风控**：黑名单买家下单自动标记为高风险订单；误标可信订单时触发一致性告警 | `rdfs:subClassOf` 分类、`rdf:type` 实例归类、`owl:disjointWith` 冲突检测 |
+| 2 | [case2-family-swrl.js](case2-family-swrl.js) | **家庭关系推理**：由「父亲+其兄弟」推出叔叔；按年龄自动判定成年 | SWRL 规则（类/对象属性/数据属性/内置函数原子）、`swrlb:greaterThanOrEqual`、`owl:inverseOf` |
+| 3 | [case3-pharma-safety.js](case3-pharma-safety.js) | **医疗用药安全**：防止给同一病人开具相互禁忌的药物；相同身份证号的病人记录自动合并 | `owl:disjointWith` 一致性、`owl:hasKey` 唯一识别（prp-key）、`owl:sameAs` |
+| 4 | [case4-knowledge-publishing.js](case4-knowledge-publishing.js) | **知识库内容发布**：Turtle 手写本体 → 解析 → 结构化 → 导出为 Turtle/Functional/RDF-XML，往返不丢公理 | TurtleParser、triplesToOntology 桥接、三种 Writer、前缀保真 |
+| 5 | [case5-obda-profiles.js](case5-obda-profiles.js) | **企业数据集成(OBDA)**：分散员工数据按本体统一查询召回；组织架构传递分类；profile 合规校验 | OWL2QLReasoner、OWL2ELReasoner、`prp-trp` 传递性、checkQL/checkEL |
+| 6 | [case6-medical-ontology.js](case6-medical-ontology.js) | **医疗本体层**（BFO/OGMS/DOID 风格）：疾病-症状-药物-检查核心骨架 + **OWL 文件导入导出**（Turtle→RDF/XML→再导入 round-trip） | TurtleParser、`writeRDFXML`、`parseRDFXML`、OWL 2 RL 类层级推理（cax-sco） |
+| 7 | [case7-manufacturing-ppr.js](case7-manufacturing-ppr.js) | **制造业本体层**（ISA-95/BFO+CCO 风格）：产品-工艺-资源(PPR)三角 + BOM 结构 + **OWL 文件导入导出** round-trip | TurtleParser、`writeRDFXML`、`parseRDFXML`、`prp-trp` 传递(hasPart)、`prp-inv` 逆关系(partOf) |
+| 8 | [case8-real-medical-bfo-ogms.js](case8-real-medical-bfo-ogms.js) | **真实医疗标准本体层**：直接加载下载的 **BFO + OGMS + RO-core** 公开 OWL 文件，提取真实类层级（230 条 subclass 边 / 187 个 OGMS 类 / 38 个临床核心类），沿真实层级对临床实例做 RL 归因 | 真实公开 OWL 文件加载、`parseRDFXML`、OWL 2 RL 类层级推理、RDF/XML 再导出 |
+| 9 | [case9-real-manufacturing-iao.js](case9-real-manufacturing-iao.js) | **真实制造业标准本体层**：加载真实 **BFO + IAO**，把「工艺文件/批生产记录/作业指导书」挂到 IAO 标准类 | 真实公开 OWL 文件加载、IAO 信息制品标准类复用、`cax-sco` 类层级归因、RDF/XML 导出 |
+| 10 | [case10-ecommerce-customer-service.js](case10-ecommerce-customer-service.js) | **电商客服智能工单分派**：SWRL 技能路由 + 根因分析 + 升级预测 + 跨渠道关联 | SWRL 路由规则、BFO/IAO 归因、`cax-dw` disjoint、`prp-trp` 传递、RDF/XML 导出 |
+
+## 真实公开本体（ontologies/）
+
+以下文件为 OBO Foundry 官方发布的**真实行业标准本体**，供案例 8、9 直接使用：
+
+| 文件 | 本体 | 来源 | 公理数 | 用途 |
+|------|------|------|-------|------|
+| [ontologies/bfo.owl](ontologies/bfo.owl) | Basic Formal Ontology (BFO) | https://purl.obolibrary.org/obo/bfo.owl | 178 | ISO/IEC 21838-2 顶层本体，医疗/制造共用基础 |
+| [ontologies/ogms.owl](ontologies/ogms.owl) | Ontology for General Medical Science (OGMS) | https://purl.obolibrary.org/obo/ogms.owl | 845 | 医疗通用科学本体（disease/diagnosis 等临床核心类） |
+| [ontologies/ro-core.owl](ontologies/ro-core.owl) | OBO Relation Ontology core | https://purl.obolibrary.org/obo/ro/core.owl | 245 | 标准关系（part_of/has_part 等），制造业 BOM 谓词来源 |
+| [ontologies/iao.owl](ontologies/iao.owl) | Information Artifact Ontology (IAO) | https://purl.obolibrary.org/obo/iao.owl | 2361 | 信息制品本体（工艺文档/批记录/计划规范等标准类） |
+### 许可证与归属（License & Attribution）
+
+上述 4 个文件为第三方作品，**不属于本项目的 BSD-2-Clause 许可范围**，按各自原始许可证随包再分发。许可证信息取自各文件内嵌的 `dcterms:license` / `dc:license` 注解（已逐个核实）：
+
+| 文件 | 许可证 | 文件内声明位置 | 版权/来源 |
+|------|--------|---------------|----------|
+| `bfo.owl` | [CC-BY 4.0](https://creativecommons.org/licenses/by/4.0/) | `<terms:license rdf:resource="http://creativecommons.org/licenses/by/4.0/"/>` | Barry Smith 等，[Basic Formal Ontology](https://basic-formal-ontology.org/) |
+| `ogms.owl` | [CC-BY 4.0](https://creativecommons.org/licenses/by/4.0/) | `<terms:license>http://creativecommons.org/licenses/by/4.0/</terms:license>` | OGMS 项目组，[OBO Foundry](http://obofoundry.org/ontology/ogms.html) |
+| `iao.owl` | [CC-BY 4.0](https://creativecommons.org/licenses/by/4.0/) | `<terms:license rdf:resource="http://creativecommons.org/licenses/by/4.0/"/>` | IAO 项目组，[OBO Foundry](http://obofoundry.org/ontology/iao.html) |
+| `ro-core.owl` | [CC0 1.0](https://creativecommons.org/publicdomain/zero/1.0/) | `<terms:license rdf:resource="https://creativecommons.org/publicdomain/zero/1.0/"/>` | OBO Relation Ontology 项目组 |
+
+CC-BY 4.0 要求署名（attribution）：本表即为署名声明；如需再分发，请保留本表与各文件内的原始许可证注解。
+
+> 这 4 个文件共约 **1.07 MB**，占 npm 包体积的主要部分。若你只需要库本身，可在安装后删除 `sample/ontologies/`——但 `test/owl2/sample-e2e.test.js` 中 case8 / case9 / case10 依赖它们，删除后这 3 个用例会失败。
+## 每个案例的结构
+
+- 文件顶部块注释：**业务背景 / 业务规则 / 用到的 OWL 2 能力 / 预期结果**。
+- `buildStore()`：构造业务数据（TBox 类层级 + ABox 实例）。
+- `run()`：执行推理/解析/序列化，返回关键结论。
+- `if (require.main === module)`：直接运行时打印中文业务结论，便于人工核对。
+
+## 覆盖的 OWL 2 规范面
+
+- **OWL 2 RL**：分类（cax-sco/eqc）、一致性（cax-dw）、hasKey（prp-key）、等价合并（eq-*）
+- **OWL 2 QL / EL**：最小推理机 + 查询召回 + 传递闭包
+- **SWRL**：规则模型 + 求值器（含 builtin）
+- **解析/序列化**：Turtle、Functional Syntax、RDF/XML、round-trip
+- **OWL 文件导入导出**：Turtle 导入 → RDF/XML 导出 → RDF/XML 再导入（医疗/制造本体层交换格式）
+- **真实公开本体加载**：直接解析 OBO Foundry 官方 BFO/OGMS/RO/IAO OWL 文件并复用其标准类层级与关系
+- **Profile 校验**：OWL2Profiles（checkQL / checkEL）