@nahisaho/musubix-ontology-mcp 1.0.0

package/dist/store/ontology-store.js

@@ -0,0 +1,135 @@
+/**
+ * @fileoverview Ontology store with local persistence
+ * @traceability TSK-ONTO-001, REQ-ONTO-001-F001
+ */
+import { readFile, writeFile, mkdir } from 'node:fs/promises';
+import { dirname } from 'node:path';
+/**
+ * Ontology store with local JSON persistence
+ *
+ * @description
+ * Manages ontology storage locally (no external communication).
+ * Supports CRUD operations on ontologies and triples.
+ */
+export class OntologyStore {
+    ontologies = new Map();
+    config;
+    dirty = false;
+    constructor(config = {}) {
+        this.config = {
+            storagePath: config.storagePath ?? './storage/ontology/store.json',
+            enableInference: config.enableInference ?? true,
+            maxTriples: config.maxTriples ?? 100000,
+        };
+    }
+    /**
+     * Load store from disk
+     */
+    async load() {
+        try {
+            const data = await readFile(this.config.storagePath, 'utf-8');
+            const parsed = JSON.parse(data);
+            this.ontologies.clear();
+            for (const onto of parsed.ontologies) {
+                this.ontologies.set(onto.id, onto);
+            }
+            this.dirty = false;
+        }
+        catch {
+            // File doesn't exist yet - start with empty store
+            this.ontologies.clear();
+        }
+    }
+    /**
+     * Save store to disk
+     */
+    async save() {
+        if (!this.dirty)
+            return;
+        const dir = dirname(this.config.storagePath);
+        await mkdir(dir, { recursive: true });
+        const data = {
+            version: '1.0.0',
+            updatedAt: new Date().toISOString(),
+            ontologies: Array.from(this.ontologies.values()),
+        };
+        await writeFile(this.config.storagePath, JSON.stringify(data, null, 2), 'utf-8');
+        this.dirty = false;
+    }
+    /**
+     * Create new ontology
+     */
+    create(id, namespace, prefixes = {}) {
+        const now = new Date().toISOString();
+        const ontology = {
+            id,
+            namespace,
+            prefixes,
+            triples: [],
+            createdAt: now,
+            updatedAt: now,
+        };
+        this.ontologies.set(id, ontology);
+        this.dirty = true;
+        return ontology;
+    }
+    /**
+     * Get ontology by ID
+     */
+    get(id) {
+        return this.ontologies.get(id);
+    }
+    /**
+     * Delete ontology
+     */
+    delete(id) {
+        const deleted = this.ontologies.delete(id);
+        if (deleted) {
+            this.dirty = true;
+        }
+        return deleted;
+    }
+    /**
+     * Add triple to ontology
+     */
+    addTriple(ontologyId, triple) {
+        const ontology = this.ontologies.get(ontologyId);
+        if (!ontology)
+            return false;
+        const totalTriples = Array.from(this.ontologies.values())
+            .reduce((sum, o) => sum + o.triples.length, 0);
+        if (totalTriples >= this.config.maxTriples) {
+            return false;
+        }
+        ontology.triples.push(triple);
+        ontology.updatedAt = new Date().toISOString();
+        this.dirty = true;
+        return true;
+    }
+    /**
+     * Get all triples from ontology
+     */
+    getTriples(ontologyId) {
+        return this.ontologies.get(ontologyId)?.triples ?? [];
+    }
+    /**
+     * List all ontologies
+     */
+    list() {
+        return Array.from(this.ontologies.values());
+    }
+    /**
+     * Get total triple count
+     */
+    get tripleCount() {
+        return Array.from(this.ontologies.values())
+            .reduce((sum, o) => sum + o.triples.length, 0);
+    }
+    /**
+     * Get ontology count
+     */
+    get size() {
+        return this.ontologies.size;
+    }
+}
+//# sourceMappingURL=ontology-store.js.map

package/dist/store/ontology-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ontology-store.js","sourceRoot":"","sources":["../../src/store/ontology-store.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGpC;;;;;;GAMG;AACH,MAAM,OAAO,aAAa;IAChB,UAAU,GAA0B,IAAI,GAAG,EAAE,CAAC;IAC9C,MAAM,CAAsB;IAC5B,KAAK,GAAG,KAAK,CAAC;IAEtB,YAAY,SAAuC,EAAE;QACnD,IAAI,CAAC,MAAM,GAAG;YACZ,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,+BAA+B;YAClE,eAAe,EAAE,MAAM,CAAC,eAAe,IAAI,IAAI;YAC/C,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,MAAM;SACxC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,IAAI;QACR,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA+B,CAAC;YAC9D,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACrB,CAAC;QAAC,MAAM,CAAC;YACP,kDAAkD;YAClD,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,IAAI;QACR,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO;QAExB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC7C,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAEtC,MAAM,IAAI,GAAG;YACX,OAAO,EAAE,OAAO;YAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;SACjD,CAAC;QAEF,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACjF,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,EAAU,EAAE,SAAiB,EAAE,WAAmC,EAAE;QACzE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAa;YACzB,EAAE;YACF,SAAS;YACT,QAAQ;YACR,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,GAAG;SACf,CAAC;QACF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,EAAU;QACf,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,UAAkB,EAAE,MAAc;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAE5B,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;aACtD,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAEjD,IAAI,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAC3C,OAAO,KAAK,CAAC;QACf,CAAC;QAED,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,QAAQ,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,UAAkB;QAC3B,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;IACxD,CAAC;IAED;;OAEG;IACH,IAAI;QACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACH,IAAI,WAAW;QACb,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;aACxC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IAED;;OAEG;IACH,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IAC9B,CAAC;CACF"}

package/dist/types.d.ts

@@ -0,0 +1,81 @@
+/**
+ * @fileoverview Ontology MCP type definitions
+ * @traceability REQ-ONTO-001
+ */
+/**
+ * RDF Triple
+ */
+export interface Triple {
+    subject: string;
+    predicate: string;
+    object: string;
+    graph?: string;
+}
+/**
+ * Ontology definition
+ */
+export interface Ontology {
+    id: string;
+    namespace: string;
+    prefixes: Record<string, string>;
+    triples: Triple[];
+    createdAt: string;
+    updatedAt: string;
+}
+/**
+ * Ontology store configuration
+ */
+export interface OntologyStoreConfig {
+    storagePath: string;
+    enableInference: boolean;
+    maxTriples: number;
+}
+/**
+ * SPARQL query result
+ */
+export interface QueryResult {
+    type: 'select' | 'ask' | 'construct';
+    bindings?: Record<string, string>[];
+    boolean?: boolean;
+    triples?: Triple[];
+}
+/**
+ * Inference result with proof tree
+ */
+export interface InferenceResult {
+    inferred: Triple[];
+    proofTree: ProofNode[];
+}
+/**
+ * Proof tree node
+ */
+export interface ProofNode {
+    conclusion: Triple;
+    rule: string;
+    premises: ProofNode[];
+}
+/**
+ * Consistency check result
+ */
+export interface ConsistencyResult {
+    consistent: boolean;
+    violations: ConsistencyViolation[];
+}
+/**
+ * Consistency violation
+ */
+export interface ConsistencyViolation {
+    type: string;
+    message: string;
+    triples: Triple[];
+}
+/**
+ * Query error with position
+ */
+export interface QueryError {
+    message: string;
+    line: number;
+    column: number;
+    suggestion?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,OAAO,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,WAAW,CAAC;IACrC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;IACpC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,SAAS,EAAE,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,OAAO,CAAC;IACpB,UAAU,EAAE,oBAAoB,EAAE,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB"}

package/dist/types.js

@@ -0,0 +1,6 @@
+/**
+ * @fileoverview Ontology MCP type definitions
+ * @traceability REQ-ONTO-001
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/package.json

@@ -0,0 +1,50 @@
+{
+  "name": "@nahisaho/musubix-ontology-mcp",
+  "version": "1.0.0",
+  "description": "MUSUBIX Ontology Reasoning MCP - OWL 2 RL inference and SPARQL query",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "test": "vitest run",
+    "clean": "rm -rf dist",
+    "typecheck": "tsc --noEmit"
+  },
+  "keywords": [
+    "musubix",
+    "ontology",
+    "mcp",
+    "owl",
+    "sparql",
+    "reasoning"
+  ],
+  "author": "nahisaho",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/nahisaho/MUSUBIX.git",
+    "directory": "packages/ontology-mcp"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.0.0",
+    "n3": "^1.26.0"
+  },
+  "devDependencies": {
+    "@types/n3": "^1.26.1",
+    "typescript": "^5.7.0",
+    "vitest": "^3.0.0"
+  },
+  "peerDependencies": {
+    "@nahisaho/musubix-core": "^1.2.0"
+  }
+}