Search results for "description"

Hits ?▲	Authors	Title	Venue	Year	Link
28	Jeff Z. Pan	A Scheme for Integrating Datatype Groups into Description Logics.	Description Logics	2005	DBLP BibTeX RDF
28	Xi Deng, Volker Haarslev, Nematollaah Shiri	A Resolution Based Framework to Explain Reasoning in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
28	Lilia Georgieva, Patrick Maier 0001	Towards Using Description Logics for Symbolic Shape Analysis.	Description Logics	2005	DBLP BibTeX RDF
28	David Toman 0001, Grant E. Weddell	On Path-functional Dependencies as First-class Citizens in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
28	Volker Haarslev, Ralf Möller 0001, Michael Wessel	Description Logic Inference Technology: Lessions Learned in the Trenches.	Description Logics	2005	DBLP BibTeX RDF
28	Ullrich Hustadt, Boris Motik	Description Logics and Disjunctive Datalog - The Story so Far.	Description Logics	2005	DBLP BibTeX RDF
28	Taufiq Rochaeli, Claudia Eckert 0001	Attack Goal Generation Using Description Logic-based Knowledge Representation.	Description Logics	2005	DBLP BibTeX RDF
28	Alexander Borgida, Thomas J. Walsh 0001, Haym Hirsh	Towards Measuring Similarity in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
28	Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter	Integrating Description Logics and Action Formalisms: First Results.	Description Logics	2005	DBLP BibTeX RDF
28	Antoon Goderis, Ulrike Sattler, Carole A. Goble	Applying Description Logics for Workflow Reuse and Repurposing.	Description Logics	2005	DBLP BibTeX RDF
28	Yu Ding 0004, Volker Haarslev	Towards Efficient Reasoning for Description Logics with Inverse Roles.	Description Logics	2005	DBLP BibTeX RDF
28	Alena Lukasová	Reasoning with Semantic Tableau Binary Trees in Description Logic.	Description Logics	2005	DBLP BibTeX RDF
28	Chen Zhao 0001, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin	Using Description Logic to Formalize Role-Based Access Control Model.	Description Logics	2005	DBLP BibTeX RDF
28	Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen	A new n-ary existential quantifier in description logics.	Description Logics	2005	DBLP BibTeX RDF
28	Jan Hladik	A Generator for Description Logic Formulas.	Description Logics	2005	DBLP BibTeX RDF
28	David Toman 0001, Grant E. Weddell	Attribute Inversion in Description Logic with Path Functional Dependencies .	Description Logics	2004	DBLP BibTeX RDF
28	Luciano Serafini, Andrei Tamilin	Local Tableaux for Reasoning in Distributed Description Logics.	Description Logics	2004	DBLP BibTeX RDF
28	Anni-Yasmin Turhan, Christian Kissig	Sonic: System Description.	Description Logics	2004	DBLP BibTeX RDF
28	Daniela Berardi	Description Logics for e-Service Composition.	Description Logics	2004	DBLP BibTeX RDF
28	Holger Knublauch, Mark A. Musen, Alan L. Rector	Editing Description Logic Ontologies with the Protégé OWL Plugin.	Description Logics	2004	DBLP BibTeX RDF
28	Ken Kaneiwa	Description Logic and Order-sorted Logic.	Description Logics	2004	DBLP BibTeX RDF
28	Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini	A Description Logic Based Approach for Matching User Profiles.	Description Logics	2004	DBLP BibTeX RDF
28	Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo	Towards Implementing Finite Model Reasoning in Description Logics.	Description Logics	2004	DBLP BibTeX RDF
28	Francis Kwong	Explaining Description Logic Reasoning.	Description Logics	2004	DBLP BibTeX RDF
28	François de Bertrand de Beuvron, Amadou Coulibaly	Applying Description Logic to Product Behavioral Design within Advanced CAD Systems.	Description Logics	2003	DBLP BibTeX RDF
28	Franz Baader	Description Logic Terminology.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	Lubomir Stanchev, Grant E. Weddell	Index Selection for Embedded Control Applications using Description Logics.	Description Logics	2003	DBLP BibTeX RDF
28	Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens	Detecting Inconsistencies between UML Models Using Description Logic.	Description Logics	2003	DBLP BibTeX RDF
28	Daniele Nardi, Ronald J. Brachman	An Introduction to Description Logics.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	David DeHaan, David Toman 0001, Grant E. Weddell	Rewriting Aggregate Queries using Description Logic.	Description Logics	2003	DBLP BibTeX RDF
28	Franz Baader, Ralf Küsters, Frank Wolter	Extensions to Description Logics.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	Concept Abduction and Contraction in Description Logics.	Description Logics	2003	DBLP BibTeX RDF
28	Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati 0001	Description Logics for Databases.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	Ian Horrocks 0001, Peter F. Patel-Schneider	Reducing OWL Entailment to Description Logic Satisfability.	Description Logics	2003	DBLP BibTeX RDF
28	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella	e-Service Composition by Description Logics Based Reasoning.	Description Logics	2003	DBLP BibTeX RDF
28	Franz Baader, Werner Nutt	Basic Description Logics.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	Deborah L. McGuinness, Peter F. Patel-Schneider	From Description Logic Provers to Knowledge Representation Systems.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev	E-connections of Description Logics.	Description Logics	2003	DBLP BibTeX RDF
28	Franz Baader	Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles.	Description Logics	2003	DBLP BibTeX RDF
28	Sean Bechhofer, Ralf Möller 0001, Peter Crowther	The DIG Description Logic Interface.	Description Logics	2003	DBLP BibTeX RDF
28	Alexander Borgida, Ronald J. Brachman	Conceptual Modeling with Description Logics.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	Diego Calvanese, Giuseppe De Giacomo	Expressive Description Logics.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	Ralf Möller 0001, Volker Haarslev	Description Logic Systems.	Description Logic Handbook	2003	DBLP BibTeX RDF
28	Enrico Franconi, David Toman 0001	Fixpoint Extensions of Temporal Description Logics.	Description Logics	2003	DBLP BibTeX RDF
28	Shinyoung Lim	Status Report on Description Logics related Project in Korea.	Description Logics	2003	DBLP BibTeX RDF
28	Fabio Grandi 0001	Decidability of Expressive Description Logics with Role Compositions.	Description Logics	2002	DBLP BibTeX RDF
28	Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble	Querying Objects with Description Logics.	Description Logics	2002	DBLP BibTeX RDF
28	Martin Peim, Enrico Franconi, Norman W. Paton	Estimating Soundness and Completeness over Queries Over Description Logics.	Description Logics	2002	DBLP BibTeX RDF
28	Alexander Borgida, Luciano Serafini	Distributed Description Logics: First results.	Description Logics	2002	DBLP BibTeX RDF
28	Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt	On the relationship between decidable fragments, non-classical logics, and description logics.	Description Logics	2002	DBLP BibTeX RDF
28	Franz Baader, Ralf Küsters	Unification in a Description Logic with Inconsistency and Transitive Closure of Roles.	Description Logics	2002	DBLP BibTeX RDF
28	Gilles Nachouki, Mohamed Quafafou	Description Logic in Semantics Querying.	Description Logics	2002	DBLP BibTeX RDF
28	Nikolaj Oldager	Algebraic Lattices and Description Logics.	Description Logics	2002	DBLP BibTeX RDF
28	Ragnhild Van Der Straeten	Using Description Logic in Object-Oriented Software Development.	Description Logics	2002	DBLP BibTeX RDF
28	Huizhu Liu, David Toman 0001, Grant E. Weddell	Fine Grained Information Integration with Description Logics.	Description Logics	2002	DBLP BibTeX RDF
28	Patrick Blackburn	Hybrid Logic and Description Logic.	Description Logics	2002	DBLP BibTeX RDF
28	Mathieu Roger, Ana Simonet, Michel Simonet	Toward Updates in Description Logics.	Description Logics	2002	DBLP BibTeX RDF
28	Jeff Z. Pan, Ian Horrocks 0001	Reasoning in the SHOQ(Dn) Description Logic.	Description Logics	2002	DBLP BibTeX RDF
28	Michael Wessel	On Spatial Reasoning with Description Logics - Position Paper.	Description Logics	2002	DBLP BibTeX RDF
28	Fabio Grandi 0001	On Expressive Number Restrictions in Description Logics.	Description Logics	2001	DBLP BibTeX RDF
28	Deborah L. McGuinness	Description Logics Emerge from Ivory Towers.	Description Logics	2001	DBLP BibTeX RDF
28	David Toman 0001, Grant E. Weddell	On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.	Description Logics	2001	DBLP BibTeX RDF
28	Christian Günsel, Marco Wittmann	Towards an Implementation of the Temporal Description Logic TLALC.	Description Logics	2001	DBLP BibTeX RDF
28	Volker Haarslev, Ralf Möller 0001	Optimizing Reasoning in Description Logics with Qualified Number Restrictions.	Description Logics	2001	DBLP BibTeX RDF
28	Volker Haarslev, Ralf Möller 0001	Description of the RACER System and its Applications.	Description Logics	2001	DBLP BibTeX RDF
28	Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev	The DLRUS Temporal Description Logic.	Description Logics	2001	DBLP BibTeX RDF
28	Jérôme Euzenat	Preserving Modularity in XML Encoding of Description Logics.	Description Logics	2001	DBLP BibTeX RDF
28	Michael Wessel	Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results.	Description Logics	2001	DBLP BibTeX RDF
28	Carsten Lutz, Ulrike Sattler, Frank Wolter	Description Logics and the Two-Variable Fragment.	Description Logics	2001	DBLP BibTeX RDF
28	Franz Baader, Ralf Küsters	Unification in a Description Logic with Transitive Closure of Roles.	Description Logics	2001	DBLP BibTeX RDF
28	Alexander Borgida	Diachronic Description Logics.	Description Logics	2001	DBLP BibTeX RDF
28	Erika Valencia, Jean-Paul Sansonnet	Simplicial Complexes for Description Logics Terminologies.	Description Logics	2000	DBLP BibTeX RDF
28	Liviu Badea, Shan-Hwei Nienhuys-Cheng	Refining Concepts in Description Logics.	Description Logics	2000	DBLP BibTeX RDF
28	Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter	Fusions of Description Logics.	Description Logics	2000	DBLP BibTeX RDF
28	Anni-Yasmin Turhan, Volker Haarslev	Adapting Optimization Techniques to Description Logics with Concrete Domains.	Description Logics	2000	DBLP BibTeX RDF
28	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Keys for Free in Description Logics.	Description Logics	2000	DBLP BibTeX RDF
28	Jan Hladik	Implementing the n-ary Description Logic GF1¯.	Description Logics	2000	DBLP BibTeX RDF
28	Stefan Schlobach	Assertional Mining in Description Logics.	Description Logics	2000	DBLP BibTeX RDF
28	Carole A. Goble	What have the Romans (and Germans) ever done for us? or There are real applications for Description Logics some of which even take advantage of their reasoning services.	Description Logics	2000	DBLP BibTeX RDF
28	Martina Kullmann, François de Bertrand de Beuvron, François Rousselot	A Description Logic Model for Reacting in a Dynamic Environment.	Description Logics	2000	DBLP BibTeX RDF
28	Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell	On Decidability and Complexity of Description Logics with Uniqueness Constraints.	Description Logics	2000	DBLP BibTeX RDF
28	François Goasdoué, Marie-Christine Rousset	Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions.	Description Logics	2000	DBLP BibTeX RDF
28	Carlos Areces, Wiet Bouma, Maarten de Rijke	Description Logics and Feature Interaction.	Description Logics	1999	DBLP BibTeX RDF
28	Armando Tacchella	*SAT System Description.	Description Logics	1999	DBLP BibTeX RDF
28	Riccardo Rosati 0001	Towards expressive KR systems integrating datalog and description logics: preliminary report.	Description Logics	1999	DBLP BibTeX RDF
28	Uta Priss	Description Logic and Faceted Knowledge Representation.	Description Logics	1999	DBLP BibTeX RDF
28	Franz Baader, Ralf Molitor	Rewriting in Description Logics Using Terminologies.	Description Logics	1999	DBLP BibTeX RDF
28	Hans Jürgen Ohlbach	Set Description Languages and Reasoning about Numerical Features of Sets.	Description Logics	1999	DBLP BibTeX RDF
28	Thomas Mantay	Computing Least Common Subsumers in Expressive Description Logics.	Description Logics	1999	DBLP BibTeX RDF
28	Volker Haarslev, Ralf Möller 0001	RACE System Description.	Description Logics	1999	DBLP BibTeX RDF
28	Stephan Tobies	On the Complexity of Counting in Description Logics.	Description Logics	1999	DBLP BibTeX RDF
28	Volker Haarslev, Ralf Möller 0001	An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.	Description Logics	1999	DBLP BibTeX RDF
28	Sean Bechhofer, Ian Horrocks 0001, Peter F. Patel-Schneider, Sergio Tessaris	A Proposal for a Description Logic Interface.	Description Logics	1999	DBLP BibTeX RDF
28	Daniel Kudenko, Haym Hirsh	Feature-Based Learners for Description Logics.	Description Logics	1999	DBLP BibTeX RDF
28	Alessandro Artale, Carsten Lutz	A Correspondence between Temporal Description Logics.	Description Logics	1999	DBLP BibTeX RDF
28	Franz Baader, Ralf Küsters	Matching in Description Logics with Existential Restrictions.	Description Logics	1999	DBLP BibTeX RDF
28	Eugenio Di Sciascio, Francesco M. Donini	Description Logics for Image Recognition: a preliminary proposal.	Description Logics	1999	DBLP BibTeX RDF
28	Anna Dorofeyeva	Analysis of Semantic Networks By Means of Description Logics.	Description Logics	1999	DBLP BibTeX RDF
28	Martina Grathwohl, François de Bertrand de Beuvron, François Rousselot	A New Application for Description Logics: Disaster Management.	Description Logics	1999	DBLP BibTeX RDF
28	Carsten Lutz, Ulrike Sattler, Stephan Tobies	A Suggestion for an n-ary Description Logic.	Description Logics	1999	DBLP BibTeX RDF