共 4 条
[1]
基于上下文感知服务的构件化中间件关键技术研究.[D].郑笛.国防科学技术大学.2008, 05
[2]
A Tableau Decision Procedure for \documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$\mathcal{SHOIQ}$\end{document}
[J].
Journal of Automated Reasoning,
2007, 39 (3)
:249-276
[3]
语义网原理与技术.[M].陆建江等; 编著.科学出版社.2007,