共 3 条
[1]
[2]
Tractable Reasoning and Efficient Query Answering in Description Logics: The ;DL-Lite; Family..[J].Diego Calvanese;Giuseppe Giacomo;Domenico Lembo;Maurizio Lenzerini;Riccardo Rosati.J. Autom. Reasoning.2007, 3
[3]
An upper ontology based on ISO 15926.[J].Rafael Batres;Matthew West;David Leal;David Price;Katsube Masaki;Yukiyasu Shimada;Tetsuo Fuchino;Yuji Naka.Computers and Chemical Engineering.2006, 5

