The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics-Reference-Cited by-同舟云学术

The Instance Problem and the Most Specific Concept in the Description Logic $\mathcal{EL}$ w.r.t. Terminological Cycles with Descriptive Semantics

Published:2003 Issue: Volume: Page:64-78
ISSN:0302-9743
Container-title:KI 2003: Advances in Artificial Intelligence
language:
Short-container-title:

Author:

Baader Franz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39451-8_6

Reference16 articles.

1. Baader, F.: Using automata theory for characterizing the semantics of terminological cycles. Ann. of Mathematics and Artificial Intelligence 18, 175–219 (1996)

2. Lecture Notes in Artificial Intelligence;F. Baader,2003

3. Baader, F.: The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics. LTCS-Report LTCS-03-01, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany (2003), See http://lat.inf.tudresden.de/research/reports.html

4. Baader, F.: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (2003) (to appear)

5. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (2003) (to appear)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. $\mathcal{EL}$ with Default Attributes and Overriding;Lecture Notes in Computer Science;2010

2. Spatial Aspects of Interaction Between High-Energy Pulses and Waves Considered as Suddenly Emerging Phenomena;Computational Science and Its Applications - ICCSA 2006;2006

3. Inner Potential of Generating Pulses as a Consequence of Recurrent Principles and Specific Computing Architecture;Computational Science and Its Applications - ICCSA 2006;2006

4. Towards structure discovering in video data;Journal of Experimental & Theoretical Artificial Intelligence;2005-01

5. Definition of Wave-Corpuscle Interaction Suitable for Simulating Sequences of Physical Pulses;Computational Science and Its Applications – ICCSA 2005;2005