让领域信息成为知识表示的核心,而非附加标注。
Domain-constrained knowledge representation: A modal framework
- 将领域作为关系的一部分,用模态世界约束来表达概念的上下文依赖
- 支持在特定领域内进行真值判断、推理和冲突检测,避免歧义
- 适合构建跨领域知识系统,尤其对需要精准语义的AI应用有帮助
知识图谱虽能高效存储大量关系,但在表达概念随领域变化的语义时仍显不足。例如‘苹果,实例为,公司’在某些场景合理,但在其他场景可能误导。现有系统多将领域信息作为元数据或图层组织,仅用于过滤和溯源,未改变断言的逻辑地位。本文主张将领域视为知识表示的内在部分,提出域情境化概念图(DCG)框架,其中关系以 (C, R at D, C') 形式表达,D 表示该关系成立的领域世界。形式上,关系通过域索引的必然性算子解释,使真值、推理与冲突检查均限定于对应世界。此设计实现三重效果:概念歧义可在表示时消解;无效断言可依据其领域被质疑;跨域关系可通过显式谓词连接。论文基于克里普克语义、紧凑谓词系统、Prolog 实现及与 RDF、OWL、关系数据库的映射,论证了这一重构的可行性。核心观点是:许多知识系统失效源于将领域视为外部属性。DCG 通过赋予领域在表示中的结构性与可计算角色,从根本上解决问题。
原文摘要 · Abstract (English)
Knowledge graphs store large numbers of relations efficiently, but they remain weak at representing a quieter difficulty: the meaning of a concept often shifts with the domain in which it is used. A triple such as Apple, instance-of, Company may be acceptable in one setting while being misleading or unusable in another. In most current systems, domain information is attached as metadata, qualifiers, or graph-level organization. These mechanisms help with filtering and provenance, but they usually do not alter the formal status of the assertion itself. This paper argues that domain should be treated as part of knowledge representation rather than as supplementary annotation. It introduces the Domain-Contextualized Concept Graph (DCG), a framework in which domain is written into the relation and interpreted as a modal world constraint. In the DCG form (C, R at D, C'), the marker at D identifies the world in which the relation holds. Formally, the relation is interpreted through a domain-indexed necessity operator, so that truth, inference, and conflict checking are all scoped to the relevant world. This move has three consequences: ambiguous concepts can be disambiguated at the point of representation; invalid assertions can be challenged against their domain; cross-domain relations can be connected through explicit predicates. The paper develops this claim through a Kripke-style semantics, a compact predicate system, a Prolog implementation, and mappings to RDF, OWL, and relational databases. The contribution is a representational reinterpretation of domain itself. The central claim is that many practical failures in knowledge systems begin when domain is treated as external to the assertion. DCG addresses that by giving domain a structural and computable role inside the representation.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。