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.
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.
last updated on 2024-11-18 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: