Home arrow Documents

View categories Search document
You must login to submit new documents

Downloads

Publications arrow 2005
Order by: name | date | hits [ascendent]
Documents in this subcategory Date added
The OWL instance store: System description (48.12 Kbytes) hot! 2006-04-13
Sean Bechhofer, Ian Horrocks, and Daniele Turi.
In Proc. of the 20th Int. Conf. on Automated Deduction (CADE-20), Lecture Notes in Artificial Intelligence, pages 177-181. Springer, 2005.
Homepage: http://www.cs.man.ac.uk/~horrocks/Publications/
hits: 1319
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? (166.36 Kbytes) hot! 2006-06-19
Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn.
In Proc. of the Methods for Modalities Workshop (M4M-05), 2005.
hits: 1162
OWL rules: A proposal and prototype implementation (214.76 Kbytes) hot! 2006-04-13
Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, and Dmitry Tsarkov.
In J. of Web Semantics, 3(1):23-40, 2005.
Homepage: http://www.cs.man.ac.uk/~horrocks/Publications/
hits: 1137
Semantic web architecture: Stack or two towers? (184.76 Kbytes) hot! 2006-04-13
Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, and James Hendler.
In Francois Fages and Sylvain Soliman, editors, Principles and Practice of Semantic Web Reasoning (PPSWR 2005), number 3703 in LNCS, pages 37-41. Springer, 2005.
Homepage: http://www.cs.man.ac.uk/~horrocks/Publications/
hits: 1101
A little semantic web goes a long way in biology (326.57 Kbytes) hot! 2006-04-13
Katherine Wolstencroft, Andy Brass, Ian Horrocks, Phil Lord, Ulrike Sattler, Robert Stevens, and Daniele Turi.
In Proc. of the 2005 International Semantic Web Conference (ISWC 2005), Lecture Notes in Artificial Intelligence. Springer, 2005.
Homepage: http://www.cs.man.ac.uk/~horrocks/Publications/
hits: 1068
Tailoring OWL for Data Intensive Ontologies (182.95 Kbytes) hot! 2006-03-24
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the Workshop on OWL: Experiences and Directions (OWLED 2005), 2005. Appeared also in Proc. of the 2nd Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (SWAP 2005). CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-166/. 2005.
hits: 1019
Pushing the SONIC border -- SONIC 1.1 (86.03 Kbytes) hot! 2006-06-19
Anni-Yasmin Turhan.
In Proc. of the 5th Int. Workshop on First-Order Theorem Proving (FTP'05), 2005.
hits: 1011
A tableaux decision procedure for SHOIQ (207.66 Kbytes) hot! 2006-04-13
Ian Horrocks and Ulrike Sattler.
In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), 2005.
Homepage: http://www.cs.man.ac.uk/~horrocks/Publications/
hits: 998
Subsumption in EL w.r.t. hybrid TBoxes (191.09 Kbytes) hot! 2006-06-19
Sebastian Brandt, Joerg Model.
In Proc. of the 28th German Conference on Artificial Intelligence (KI2005), 2005.
hits: 979

DocMan 1.2.3 - 17/06/2004 - © 2003-2004 DocMan dev team

2005-2007 TONES - Thinking Ontologies
1