Yu Sun

TRANSLATING ONTOLOGIES TO DEFAULT LOGIC

Yu Sun, 2006 .

A Gentzen system for the description logic

Yuefei Sui, Yu Sun, 2014, 2014 9th International Conference on Computer Science & Education.

Logical Connections of Statements at the Ontological Level

Cungen Cao, Yuefei Sui, Yu Sun, 2010, Int. J. Cogn. Informatics Nat. Intell..

A logical foundation for ontology representation in NKI

Yuefei Sui, Yu Sun, Yuefei Sui, 2005, 2005 International Conference on Natural Language Processing and Knowledge Engineering.

Translating Ontologies to Default Logic

Yuefei Sui, Yu Sun, Yuefei Sui, 2005, AIAI.

One Axiomatic System for the Ontology Revision

Yuefei Sui, Yu Sun, Zhiping Li, 2006, Intelligent Information Processing.

Default Description Logics with Reversing Inference Rules

Yuefei Sui, Yu Sun, Yuefei Sui, 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

A Formal Description of Agents' Epistemic States and Environments

Cungen Cao, Yuefei Sui, Yu Sun, 2006, Intelligent Information Processing.