Abstract is missing.
- High Performance Absorption Algorithms for Terminological ReasoningMing Zuo, Volker Haarslev. [doi]
- Efficient Reasoning in ::::EL+::::Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn. [doi]
- Discrete Tableau Algorithms for ::::FSHI::::Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang. [doi]
- Euclidian Roles in Description LogicsGiorgos Stoilos, Giorgos B. Stamou. [doi]
- The new ICOM Ontology EditorPablo R. Fillottrani, Enrico Franconi, Sergio Tessaris. [doi]
- ::::SHIN:::: ABox ReductionAchille Fokoue, Aaron Kershenbaum, Li Ma. [doi]
- Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL EntailmentsAditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau. [doi]
- Binary Absorption in Tableaux-Based Reasoning for Description LogicsAlexander K. Hudek, Grant E. Weddell. [doi]
- Reasoning for Fuzzy Description Logic with Comparison ExpressionsDazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li. [doi]
- Computing Maximally Satisfiable Terminologies for the Description Logic ::::ALC:::: with Cyclic DefinitionsKevin Lee, Thomas Meyer, Jeff Z. Pan, Richard Booth. [doi]
- Conjunctive Query Answering for Description Logics with Transitive RolesBirte Glimm, Ian Horrocks, Ulrike Sattler. [doi]
- On the Scalability of Description Logic Instance RetrievalRalf Möller, Volker Haarslev, Michael Wessel. [doi]
- Tableau Caching for Description Logics with Inverse and Transitive RolesYu Ding, Volker Haarslev. [doi]
- Handling Imprecise Knowledge with Fuzzy Description LogicGiorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan. [doi]
- Will my Ontologies Fit Together?Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler. [doi]
- PSPACE Automata for Description LogicsJan Hladik, Rafael Peñaloza. [doi]
- Optimizations for Answering Conjunctive ABox QueriesEvren Sirin, Bijan Parsia. [doi]
- A Description Logic of ChangeAlessandro Artale, Carsten Lutz, David Toman. [doi]
- Pellet System DescriptionEvren Sirin, Bijan Parsia. [doi]
- How sensor data interpretation could benefit from description logics: A practical case studyRalf Möller, Sylvia Melzer. [doi]
- Description Logic Reasoning for Dynamic ABoxesChristian Halaschek-Wiener, Bijan Parsia, Evren Sirin, Aditya Kalyanpur. [doi]
- Data Complexity of Answering Unions of Conjunctive Queries in ::::SHIQ::::Magdalena Ortiz, Diego Calvanese, Thomas Eiter. [doi]
- Experiences with Load Balancing and Caching for Semantic Web ApplicationsAlissa Kaplunova, Atila Kaya, Ralf Möller. [doi]
- Finding Subsumers for Natural Language PresentationChris Mellish, Jeff Z. Pan. [doi]
- Extending the ::::SHOIQ(D):::: Tableaux with DL-safe Rules: First ResultsVladimir Kolovski, Bijan Parsia, Evren Sirin. [doi]
- Automated Benchmarking of Description Logic ReasonersTom Gardiner, Ian Horrocks, Dmitry Tsarkov. [doi]
- Cost-Efficient Web Service compositions for querying processes over reasoning servicesIrma Sofia Espinosa Peraldi, Ralf Möller. [doi]
- Towards Mobile ReasoningThomas Kleemann. [doi]
- A Tableaux-based Mobile DL Reasoner - An Experience ReportFelix Müller, Michael Hanselmann, Thorsten Liebig, Olaf Noppens. [doi]
- Topological Reasoning in Basic DescriptionMatteo Cristani, Nicoletta Gabrielli, Paolo Torelli. [doi]
- DL Actions with GCIs: a Pragmatic ApproachHongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter. [doi]
- Description logic reasoning using the PTTP approachZsolt Nagy, Gergely Lukácsy, Péter Szeredi. [doi]
- Static Knowledge Representation of Multi-Agent System s Specification by Description LogicHaiyan Che, Jigui Sun. [doi]
- Model checking the basic modalities of CTL with Description LogicShoham Ben-David, Richard J. Trefler, Grant E. Weddell. [doi]
- Epistemic First-order Queries over Description Logic Knowledge BasesDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. [doi]