Ian R. Horrocks (horrocks-ir)

Contributi a Philosophie.ch

Bibliography

Horrocks, Ian R. 1998. “Using an Expressive Description Logic: FaCT or Fiction?” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 636–645. San Francisco, California: Morgan Kaufmann Publishers.
Horrocks, Ian R. and Patel-Schneider, Peter F. 1998. “Optimising Propositional Modal Satisfiability for Description Logic Subsumption.” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 234–246. Berlin: Springer.
Horrocks, Ian R. and Tobies, Stephan. 2000. “Reasoning with Axioms: Theory and Practice.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 285–296. San Francisco, California: Morgan Kaufmann Publishers.
Tessaris, Sergio, Horrocks, Ian R. and Gough, Graham. 2002. “Evaluating a Modular Abox Algorithm.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 227–235. San Francisco, California: Morgan Kaufmann Publishers.