Abstract is missing.
- RDFS(FA): A DL-ised Sub-language of RDFSJeff Z. Pan, Ian Horrocks. [doi]
- Rule Based Computation of Updates to TerminologiesSanjay Modgil. [doi]
- e-Service Composition by Description Logics Based ReasoningDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. [doi]
- Resasoning about Concepts and SimilarityCarsten Lutz, Frank Wolter, Michael Zakharyaschev. [doi]
- Reasoning on UML Class Diagrams is EXPTIME-hardDaniela Berardi, Diego Calvanese, Giuseppe De Giacomo. [doi]
- The DIG Description Logic InterfaceSean Bechhofer, Ralf Möller, Peter Crowther. [doi]
- Reducing OWL Entailment to Description Logic SatisfabilityIan Horrocks, Peter F. Patel-Schneider. [doi]
- E-connections of Description LogicsOliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. [doi]
- Distributed Search in the Semantic WebUmberto Straccia. [doi]
- Fixpoint Extensions of Temporal Description LogicsEnrico Franconi, David Toman. [doi]
- Reasoning about Nominals with FaCT and RACERJan Hladik. [doi]
- Comparing Natural Language Documents: a DL Based ApproachNaouel Karam, Michel Schneider. [doi]
- Wine Agent: Semantic Web Testbed ApplicationEric I. Hsu, Deborah L. McGuinness. [doi]
- Finite Model Reasoning in ALCQI is EXPTIME LogicsCarsten Lutz, Ulrike Sattler, Lidia Tendera. [doi]
- Applying Description Logic to Product Behavioral Design within Advanced CAD SystemsFrançois de Bertrand de Beuvron, Amadou Coulibaly. [doi]
- Visualising a DL Knowledge Base with DeLogVizBo Hu, Nigel Shadbolt. [doi]
- Computing Least Common Subsumers for FLE:::+:::Sebastian Brandt, Anni-Yasmin Turhan. [doi]
- Modeling SoftwareJohn Mylopoulos. [doi]
- Query Evaluation over Networks of Logic-based Mediators (Position Paper)Carlo Meghini, Yannis Tzitzikas. [doi]
- From Lexicon To Mammographic Ontology: Experiences and LessonsBo Hu, Srinandan Dasmahapatra, Nigel Shadbolt. [doi]
- Matchmarking Using an Instance Store: Some Preliminary ResultsLei Li, Ian Horrocks. [doi]
- Incremental Query Answering for Implementing Document Retrieval ServicesVolker Haarslev, Ralf Möller. [doi]
- DL Reasoner vs. First-Order ProverDmitry Tsarkov, Ian Horrocks. [doi]
- E-Service Composition: Models and FormalismsRichard Hull. [doi]
- Data Minig in Hybrid Languages vis ILPFrancesca A. Lisi. [doi]
- Concept Abduction and Contraction in Description LogicsSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello. [doi]
- Detecting Inconsistencies between UML Models Using Description LogicRagnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens. [doi]
- Index Selection for Embedded Control Applications using Description LogicsLubomir Stanchev, Grant E. Weddell. [doi]
- Graphical Interfaces for Racer: Querying DAML+OIL and RDF DocumentsRalf Möller, Ronald Cornet, Volker Haarslev. [doi]
- Explanation of Terminological Reasoning: A Preliminary ReportStefan Schlobach, Ronald Cornet. [doi]
- Subsumption of Concepts in FL::0y:: for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-completeYevgeny Kazakov, Hans de Nivelle. [doi]
- Rewriting Aggregate Queries using Description LogicDavid DeHaan, David Toman, Grant E. Weddell. [doi]
- On the Problems of Representing Least Common Subsumer and Computing Approximation in DLsChan Le Duc, Nhan Le Thanh. [doi]
- Status Report on Description Logics related Project in KoreaShinyoung Lim. [doi]
- Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological CyclesFranz Baader. [doi]
- Merging DAML+OIL Bio-ontologiesPatrick Lambrix, Anna Edberg, Carolyn Manis, He Tan. [doi]
- Implementing Matching in ALE--First ResultsSebastian Brandt. [doi]
- Handling Boolean A BoxesCarlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx. [doi]