استنتاج توزیع شده برروی آنتولوژی ها و قوانین در منطق order-sorted

مراجع و منابع این مقاله:

• Lassila, O. and Swick, R., "Resource description framework (rdf) model ...
• Patel-Schneider, P.F., Hayes, P. and Horrocks, I. "OWL Web Ontology ...
• Boley, H. and Tabet, S., “The Rule Markup Initiative” http://www.ruleml.org/ ...
• Baader, F., Calvanese, D., McGuinness, D., Nardi, D. and Patel-Schneider ...
• Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B. ...
• Bouquet, P., Giunchiglia, F., Harmelen, F., Serafini, L. and Stuckenschmidt, ...
• Kaneiwa, K. "The completeness of logic programming with sort predicates", ...
• Beierle, C., Hedtsuck, U., Pletat, U., Schmitt, P.H., Siekmann, J. ...
• Walther, C. "A mechanical solution of Schubert’s steamroller by many-sorted ...
• Cohn, A.G., "Taxonomic reasoning with many sorted logics", Artificial Intelligence ...
• Oberschelp, A., "Order sorted predicate logic", Workshop on Sorts and ...
• Smith, B., "The Basic Tools of Formal Ontology ", Formal ...
• Guarino, N. and Welty, C. "Ontological analysis of taxonomic relationships", ...
• Sera_ni, L. and Tamilin, A., "DRAGO: Distributed Reasoning Architecture for ...
• Schlicht, A. and Stuckenschmidt, H., "Towards Distributed Ontology Reasoning for ...
• Kaneiwa, K. and Riichiro, M., "Distributed reasoning with ontologies and ...
• Guarino, N., Carrara, M. and Giaretta, P., "An ontology of ...
• Bellifemine, F., Caire, G. and Greenwood, D., "Developing multi-agent systems ...
• Bellifemine, F., Poggi, A. and Rimassa, G., "Developing Multi-agent Systems ...
• Horstmann, S. and Cornell, G., "Core Java", Volume ۱, Fundumental, ...
• FRIEDMAN-HILL, E., "Jess in Action", Rule-Based Systems in Java, MANNING, ...
نمایش کامل مراجع