![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Description Logics 2003: Rome, Italy
- Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi:
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR Workshop Proceedings 81, CEUR-WS.org 2003
Invited Talks
- John Mylopoulos:
Modeling Software. - Richard Hull:
E-Service Composition: Models and Formalisms.
Applications
- Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfability. - Lubomir Stanchev, Grant E. Weddell:
Index Selection for Embedded Control Applications using Description Logics. - Sanjay Modgil:
Rule Based Computation of Updates to Terminologies. - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
Reasoning on UML Class Diagrams is EXPTIME-hard. - Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
e-Service Composition by Description Logics Based Reasoning. - Volker Haarslev, Ralf Möller:
Incremental Query Answering for Implementing Document Retrieval Services. - Jeff Z. Pan, Ian Horrocks:
RDFS(FA): A DL-ised Sub-language of RDFS. - David DeHaan, David Toman, Grant E. Weddell:
Rewriting Aggregate Queries using Description Logic.
Standard Reasoning Services
- Franz Baader:
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. - Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx:
Handling Boolean A Boxes. - Yevgeny Kazakov, Hans de Nivelle:
Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete.
Non-standard Reasoning Services
- Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
Concept Abduction and Contraction in Description Logics. - Francesca A. Lisi:
Data Minig in Hybrid Languages vis ILP. - Stefan Schlobach, Ronald Cornet:
Explanation of Terminological Reasoning: A Preliminary Report. - Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Resasoning about Concepts and Similarity.
Implementations and Systems
- Dmitry Tsarkov, Ian Horrocks:
DL Reasoner vs. First-Order Prover. - Sebastian Brandt:
Implementing Matching in ALE--First Results. - Sean Bechhofer, Ralf Möller, Peter Crowther:
The DIG Description Logic Interface.
Extensions
- Enrico Franconi, David Toman:
Fixpoint Extensions of Temporal Description Logics. - Carsten Lutz, Ulrike Sattler, Lidia Tendera:
Finite Model Reasoning in ALCQI is EXPTIME Logics. - Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
E-connections of Description Logics.
Posters
- François de Bertrand de Beuvron, Amadou Coulibaly:
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems. - Sebastian Brandt, Anni-Yasmin Turhan:
Computing Least Common Subsumers for FLE+. - Jan Hladik:
Reasoning about Nominals with FaCT and RACER. - Eric I. Hsu, Deborah L. McGuinness:
Wine Agent: Semantic Web Testbed Application. - Bo Hu, Srinandan Dasmahapatra, Nigel Shadbolt:
From Lexicon To Mammographic Ontology: Experiences and Lessons. - Bo Hu, Nigel Shadbolt:
Visualising a DL Knowledge Base with DeLogViz. - Naouel Karam, Michel Schneider:
Comparing Natural Language Documents: a DL Based Approach. - Patrick Lambrix, Anna Edberg, Carolyn Manis, He Tan:
Merging DAML+OIL Bio-ontologies. - Chan Le Duc, Nhan Le Thanh:
On the Problems of Representing Least Common Subsumer and Computing Approximation in DLs. - Lei Li, Ian Horrocks:
Matchmarking Using an Instance Store: Some Preliminary Results. - Ralf Möller, Ronald Cornet, Volker Haarslev:
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. - Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens:
Detecting Inconsistencies between UML Models Using Description Logic.
Statements of Interest
- Shinyoung Lim:
Status Report on Description Logics related Project in Korea. - Carlo Meghini, Yannis Tzitzikas:
Query Evaluation over Networks of Logic-based Mediators (Position Paper). - Umberto Straccia:
Distributed Search in the Semantic Web.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.