MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Basic Description Logics." – sorted by Relevance.

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

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

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

ATOM

Basic Description Logics
by Franz Baader, Werner Nutt, In F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, P. F. Patel-schneider — 2003
…2 Basic Description Logics Franz Baader Institut fur Theoretische Informatik, Fakult…
Cited by 173 (29 self) – Add To MetaCart

Concrete Domains and Nominals United
by Carlos Areces, Carsten Lutz — 2002 — IN PROCEEDINGS OF THE FOURTH WORKSHOP ON HYBRID LOGICS (HYLO'02
… the complexity of concept satisability in both ALCO, the basic description logic ALC enriched with nominals…
Cited by 3 (1 self) – Add To MetaCart

Software Abstractions for Description Logic Systems
by Michael Wessel, Ralf Möller
… explain the basics of description logics and tableau provers for reasoning with them. The implementation…
Add To MetaCart

A constructive semantics for ALC
by Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
… introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK…
Cited by 2 (1 self) – Add To MetaCart

DL-SR, a Lite DL Extended with Expressive Rules: Preliminary Results
by Jean-françois Baget, Michel Leclère, Marie-laure Mugnier, Éric Salvat
… salvat@(email omitted); Abstract. Simple conceptual graphs can be seen as a very basic description logic…
Add To MetaCart

Temporalising Tractable Description Logics
by A. Artale, R. Kontchakov, C. Lutz, F. Wolter, M. Zakharyaschev
… together with general concept subsumptions in combinations of LT L and the basic description logic ALC…
Cited by 4 (2 self) – Add To MetaCart

LTCS{Report
by Aachen University Of, Rwth Aachen, Lufg Theoretische Informatik, Carsten Lutz, Carsten Lutz, Holger Sturm, Holger Sturm, Frank Wolter, Frank Wolter, Michael Zakharyaschev, Michael Zakharyaschev — 2001 — In Proceedings of IJCAR'2001, Lecture Notes in Computer Science, 2001. In print
… tableau system was constructed by Schild [13], who merged the basic description logic ALC with PTL…
Add To MetaCart

EXPTime tableaux with global caching for description logics with transitive roles, inverse roles
by Rajeev Goré, Linh Anh Nguyen — 2007 — In Proc. TABLEAUX 2007, Aix en Provence
…. Banacha 2, 02-097 Warsaw, Poland nguyen@(email omitted); Abstract. The description logic SHI extends the basic…
Cited by 6 (2 self) – Add To MetaCart

Open World Reasoning in Semantics-Aware
by Access Control Preliminary, E. Damiani, S. David, S. De, Capitani Vimercati, C. Fugazza, P. Samarati
… Control and review the state of the art; we also introduce the basics of Description Logics and the novel…
Add To MetaCart

Conservative extensions in expressive description logics
by Carsten Lutz, Dirk Walther, Frank Wolter — 2007 — In Proc. of IJCAI-2007
… is decidable and 2ExpTime-complete if ontologies are formulated in the basic description logic (DL) ALC. We…
Cited by 33 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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