tag : description logics

11 publications
page_white_acrobat Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010@SAC 2010) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
page_white_acrobat The Description Logic Handbook: Theory, Implementation, and Applications (2010) — Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
page_white_acrobat A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
page_white_acrobat Description Logics (2008) — Franz Baader, Ian Horrocks, Ulrike Sattler
page_white_acrobat Pellet: A practical OWL-DL reasoner (2007) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
page_white_acrobat Distributed Instance Retrieval in Heterogeneous Ontologies () — Luciano Serafini, Andrei Tamilin
page_white_acrobat From SHIQ and RDF to OWL: The Making of a Web Ontology Language (2003) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen