摘要
以城市交通为研究和应用背景,基于本体模型的知识表示技术,建立城市交通本体。对城市交通领域知识进行规范描述,详细描述了定义类层次及类的属性和关系,以及实例的基本规则,并从领域知识中提取出类内公理和类间公理,建立公理库,用于领域知识的一致性分析和知识推理。解决了语义层次上信息共享和交互的问题,为上海城市交通信息网格的交通信息服务提供语义支撑。
In the background of urban transportation, based on the techniques of knowledge representation of ontology model, we develop urban transportation ontology. The standard description and the basic rules are introduced which clearly define the classes hierarchy, properties, relations and instances. A set of domain-specific axioms are derived from classes and slots. Axioms base are used in consistency checking and knowledge reasoning which solve the problems of information sharing and interoperability in semantics and is the semantic base for transportation services of Shanghai transportation grid.
出处
《计算机科学》
CSCD
北大核心
2007年第3期192-196,共5页
Computer Science
基金
国家973计划(2003CB316902)资助。
关键词
城市交通
本体
知识获取
公理
推理
Urban transportation, Ontology, Acquiring knowledge, Axioms, Reasoning
