BibSonomy publications for /tag/dl

Reasoning with Inconsistent OWL Ontologies for Software Reuse

sjbutler — 2011-05-14T12:24:09+02:00

Songxin Wang Software Engineering, 2009. WCSE '09. WRI World Congress on, 2, page 113 -116. (May 2009)

From SHIQ and RDF to OWL: The Making of a Web Ontology Language

utahell — 2011-02-11T11:26:32+01:00

I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen Journal of Web Semantics (2003)

Representing ontologies using description logics, description graphs, and rules

jipbeanj — 2010-09-08T10:39:14+02:00

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, and Ulrike Sattler Artificial Intelligence 173(14):1275 - 1309 (2009)

Applying Formal Concept Analysis to Description Logics.

jaeschke — 2010-06-30T10:40:21+02:00

Franz Baader, and Baris Sertkaya Concept Lattices, volume 2961 of Lecture Notes in Computer Science, page 261--286. Berlin/Heidelberg, Springer, (2004)

Conceptual Modeling with Description Logics

wnpxrz — 2010-05-15T23:53:06+02:00

Borgida, and Brachman The Description Logic Handbook: Theoryand Implementationand and Applications, Cambridge University Press, (2003)

A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data.

obj — 2010-04-25T09:31:29+02:00

Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, and Petko Valtchev ICFCA, volume 4390 of Lecture Notes in Computer Science, page 51-65. Springer, (2007)

Named Graphs as a Mechanism for Reasoning about Provenance

wnpxrz — 2010-04-17T22:32:00+02:00

E. Rowland Watkins, and Denis A. Nicole (2006)

CARIN: A Representation Language Combining Horn Rules and Description Logics.

alexjdl — 2010-03-05T16:10:41+01:00

Alon Y. Levy, and Marie-Christine Rousset ECAI, page 323-327. John Wiley and Sons, Chichester, (1996)

Description Logic Knowledge Bases using Formal Concept Analysis

obj — 2010-02-24T22:55:14+01:00

F. Baader, B. Ganter, B.Sertkaya, and U. Sattler Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI'07, page 230--235. (2007)

Merging Expressive Ontologies Using Formal Concept Analysis.

obj — 2010-01-27T07:00:16+01:00

Olivier Curé OTM Workshops, volume 5872 of Lecture Notes in Computer Science, page 49-58. Springer, (2009)

Expressive Description Logics via SAT: The Story so Far

arademaker — 2010-01-26T15:49:55+01:00

Francis Gasse, and Volker Haarsley (2009)to appear in SMT Workshop .

Completing Description Logic Knowledge Bases using Formal Concept Analysis.

obj — 2010-01-14T23:06:39+01:00

Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya OWLED, volume 258 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)

A Finite Basis for the Set of EL-Implications Holding in a Finite Model.

obj — 2010-01-08T09:25:07+01:00

Franz Baader, and Felix Distel ICFCA, volume 4933 of Lecture Notes in Computer Science, page 46-61. Springer, (2008)

Exploring Finite Models in the Description Logic .

jwollbold — 2009-12-14T11:54:57+01:00

Franz Baader, and Felix Distel ICFCA, volume 5548 of Lecture Notes in Computer Science, page 146-161. Springer, (2009)

Description Logics for Information Integration

alexjdl — 2009-11-25T16:02:33+01:00

Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 41--60. Springer Berlin / Heidelberg, (2002)

The Description Logic Handbook: Theory, Implementation and Applications

rogargon — 2009-11-11T00:12:51+01:00

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider Cambridge University Press, (2003)

Pellet: A practical OWL-DL reasoner

rogargon — 2009-11-11T00:12:51+01:00

Evren Sirin, Bijan Parsia, Bernardo Grau, Aditya Kalyanpur, and Yarden Katz Journal of Web Semantics 5(2):51--53 (2007)

The evolutionary consequences of erroneous protein synthesis

ebo — 2009-09-20T21:04:15+02:00

D Allan Drummond, and C O Wilke Nature Reviews Genetics 10(10):715-724 (October 2009)

Hantavirus evolution in relation to its rodent and insectivore hosts: no evidence for codivergence

ebo — 2009-09-16T21:44:06+02:00

Ramsden, E C Holmes, and M A Charleston Molecular Biology and Evolution 26(1):143-153 (January 2009)

Perspective: Evolution and detection of genetic robustness

ebo — 2009-09-16T04:21:11+02:00

J A de Visser, J Hermisson, G P Wagner, L Ancel Meyers, H Bagheri-Chaichian, J L Blanchard, L Chao, J M Cheverud, S F Elena, W Fontana, G Gibson, T F Hansen, D Krakauer, R C Lewontin, C Ofria, S H Rice, G von Dassow, A Wagner, and M C Whitlock Evolution 57(9):1959-1972 (September 2003)