Description logics in ontology applications (original) (raw)

OWL: a Description Logic Based Ontology

Ian Horrocks

View PDFchevron_right

Applications of description logics: State of the art and research challenges

Ian Horrocks

2005

View PDFchevron_right

OWL: A description logic based ontology language

Deborah L. McGuinness

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005

View PDFchevron_right

Description Logics for Ontologies

Uli Sattler

Lecture Notes in Computer Science, 2003

View PDFchevron_right

Description logic programs: Combining logic programs with description logic

Ian Horrocks

2003

View PDFchevron_right

Description Logics Programs: An Evaluation and Extended Translation

Ian Horrocks

View PDFchevron_right

Description logics

Ian Horrocks

2008

View PDFchevron_right

The Description Logic Handbook

Deborah L. McGuinness

2007

View PDFchevron_right

Ontologies and description logics

Diego Calvanese

2006

View PDFchevron_right

Description logics as ontology languages for the semantic web

Ian Horrocks

2005

View PDFchevron_right

Reasoning in description logics using declarative logic programming

Chitta Baral

2002

View PDFchevron_right

Hybrid logics and ontology languages

Ian Horrocks

2007

View PDFchevron_right

Explanation in the DL-Lite family of description logics

Diego Calvanese

2008

View PDFchevron_right

Representing ontologies using description logics, description graphs, and rules

Ian Horrocks

2009

View PDFchevron_right

Chapter 3 Description Logics

Uli Sattler

Foundations of Artificial Intelligence, 2008

View PDFchevron_right

Description logic rules

Sebastian Rudolph

Proceedings of the 18th …, 2008

View PDFchevron_right

The description logic handbook: Theory, implementation and applications

Deborah L. McGuinness

2003

View PDFchevron_right

Description logics: OWL and DAML+ OIL

Ian Horrocks

2005

View PDFchevron_right

Linking Data to Ontologies: The Description Logic DL-Lite_A

Antonella Poggi

2006

View PDFchevron_right

20th International Workshop on Description Logics DL’07

Diego Calvanese

2007

View PDFchevron_right

International Workshop on Description Logics

Maurizio Lenzerini

1999

View PDFchevron_right

Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming

Guillermo R Simari

Inteligencia Artificial,revista Iberoamericana De Inteligencia Artificial, 2007

View PDFchevron_right

Description logics for the semantic web

Ian Horrocks

2002

View PDFchevron_right

Ontology reasoning in the SHOQ (D) description logic

Ian Horrocks

2001

View PDFchevron_right

DL-Lite: Tractable Description Logics for Ontologies

Diego Calvanese

Proceedings of the …, 2005

View PDFchevron_right

A logical semantics for description logic programs

David Pearce

2010

View PDFchevron_right

An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming

Guillermo R. Simari

Procs. of the XII Congreso Argentino de …, 2006

View PDFchevron_right

Description logics: Foundations for class-based knowledge representation

Diego Calvanese

2002

View PDFchevron_right

A Strong Correspondence between Description Logics and Open Logic Programming

Kristof Van Belleghem

Logic Programming, 1997

View PDFchevron_right