Searching for "Reasoning Support for Ontology Design." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

Reasoning Support for Ontology Design
by Carsten Lutz, Franz Baader, Einrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris — 2006 — In Proceedings of the second international workshop OWL: Experiences and Directions
…Reasoning Support for Ontology Design Carsten Lutz, Franz Baader, Einrico Franconi, Domenico Lembo…
Cited by 2 (1 self) – Add To MetaCart

OilEd: a Reason-able Ontology Editor for the Semantic Web
by Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens — 2001 — Proceedings of KI2001, Joint German/Austrian conference on Artificial Intelligence
…, but reasoning support is also extremely valuable at the ontology design phase, where it can be used to to detect…
Cited by 161 (25 self) – Add To MetaCart

Building a Reason-able Bioinformatics Ontology Using OIL
by Robert Stevens, Ian Horrocks, Carole Goble, Sean Bechhofer — 2001 — In Proceedings of the IJCAI-2001 Workshop on Ontologies and Information Sharing
… of an expressive description logic. OilEd, an editor for OIL, uses reasoning to support ontology design…
Cited by 11 (5 self) – Add To MetaCart

Building a Reason-able Bioinformatics Ontology Using OIL
by Robert Stevens Ian, Ian Horrocks, Carole Goble, Sean Bechhofer — 2001 — In Proceedings of the IJCAI-2001 Workshop on Ontologies and Information Sharing
… reasoning to support ontology design, facilitating the development of ontologies that are both more detailed…
Add To MetaCart

Reasoning with Expressive DLs – p.1/47 Talk Outline Reasoning with Expressive DLs – p.2/47 Talk
by Ian Horrocks, Reasoning Techniques
… of empirical tractability Reasoning with Expressive DLs – p.11/47 Reasoning Support for Ontology Design: Oil…
Add To MetaCart

OilEd Demo Description Logic Reasoning Research Challenges Summary
by Ian Horrocks, Aisb Daml+oil P
… ∈ ¬C} is not consistent AISB 2002: DAML+OIL – p. 20/35 Reasoning Support for Ontology Design: Oil…
Add To MetaCart

Reasoning with Expressive Description Logics: Theory and Practice
by Ian Horrocks — 2002 — In: Andrei Voronkov, (ed) Proc. 18th Int. Conf. on Automated Deduction (CADE-18
… reasoning support for ontology design and deployment. This latter application has been highlighted…
Cited by 15 (1 self) – Add To MetaCart

Reasoning with Expressive DLs – p. 1/47 Talk Outline The Semantic Web and DAML+OIL Description
by Ian Horrocks
… for Ontology Design: OilEd OilEd is a DAML+OIL ontology editor with DL reasoning support ☞ Frame based…
Add To MetaCart

Project: FP6-7603 – Thinking ONtologiES (TONES) Workpackage: WP3 – Ontology Design and Maintenance
by F. Baader, R. Bernardi, D. Calvanese, A. Calì, B. Cuenca Grau, M. Garcia, G. De Giacomo, A. Kaplunova, O. Kutz, D. Lembo, M. Lenzerini, L. Lubyte, C. Lutz, M. Milicic, R. Möller, B. Parsia, R. Rosati, U. Sattler, B. Sertkaya, S. Tessaris, C. Thorne, A. -y. Turhan, Technische Universität Hamburg-harburg, Technische Universität Dresden, Lead Participant, Technische Universität Dresden, Reviewer Ralf Möller — 2007
…], such support is needed to assist the ontology designer in carrying out a principled and systematic design…
Add To MetaCart

OIL: An Ontology Infrastructure for the Semantic Web
by Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah, Deborah L. Mcguinness — 2001
…; and • reasoning with ontologies, which enables advanced query-answering services, supports ontology creation…
Cited by 171 (28 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB