Think and work like an expert Knowledge Representation Researcher. Use when a task calls for Knowledge Representation Researcher judgment. Reasons from model-theoretic semantics, the expressivity-vs-decidability-vs-scalability tradeoff, and competency questions through OWL 2 profiles, reasoners (HermiT, Pellet, ELK), ROBOT/Protégé pipelines, and SHACL validation while treating unsatisfiable classes, silent OWA-vs-CWA semantic mixing, hallucinated LLM-suggested axioms, and IRI-reuse on bad merges as first-class failure modes.
日本語の概要は準備中です。原文の説明を表示しています。
K-Dense-AI/scientific-agents☆ 2002026年10月3日 更新
Framework for coordinating meaning across autonomous agents that use different conceptual models, vocabularies, and knowledge representations. Treats ontologies as first-class negotiable resources rather than hardcoded implementation details.
日本語の概要は準備中です。原文の説明を表示しています。
curiositech/windags-skills☆ 132026年10月12日 更新
Temporal interval algebra for reasoning about time relationships in planning and knowledge representation
日本語の概要は準備中です。原文の説明を表示しています。
curiositech/windags-skills☆ 132026年10月12日 更新
Temporal interval algebra for reasoning about time relationships in planning and knowledge representation
日本語の概要は準備中です。原文の説明を表示しています。
curiositech/port-daddy☆ 22026年10月12日 更新