共 11 条
[1]
[2]
[3]
A Tableau Decision Procedure for <InlineEquation ID="IEq1">
<EquationSource Format="TEX">$\mathcal{SHOIQ}$</EquationSource>
</InlineEquation>[J] Ian Horrocks;Ulrike Sattler Journal of Automated Reasoning 2007,
[4]
An algorithm for suffix stripping[J] M.F. Porter Program: electronic library and information systems 2006,
[5]
Topic-specific crawling on the Web with the measurements of the relevancy context graph[J] Ching-Chi Hsu;Fan Wu Information Systems 2005,
[6]
Machine learning in automated text categorization[J] Fabrizio Sebastiani ACM Computing Surveys (CSUR) 2002,
[7]
Focused crawling: a new approach to topic-specific Web resource discovery[J] Soumen Chakrabarti;Martin van den Berg;Byron Dom Computer Networks 1999,
[8]
Combining Horn rules and description logics in CARIN[J] Alon Y. Levy;Marie-Christine Rousset Artificial Intelligence 1998,
[9]
Formal ontology; conceptual analysis and knowledge representation[J] Nicola Guarino International Journal of Human - Computer Studies 1995,
[10]
金融市场学教程[M] 霍文文主编; 复旦大学出版社 2005,

