The F-logic approach for description languages-Reference-Cited by-同舟云学术

The F-logic approach for description languages

Published:1995-03 Issue:1 Volume:15 Page:19-60
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Balaban Mira

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

http://link.springer.com/article/10.1007/BF01535840/fulltext.html

Reference52 articles.

1. F. Baader and B. Hollunder, Embedding defaults into terminological knowledge representation formalisms,KR-92 (1992) pp. 306?317.

2. F. Baader, B. Hollunder, B. Nebel, H.J. Profitlich and E. Franconi, An empirical analysis of optimization techniques for terminological representation systems,KR-92 (1992) pp. 270?281.

3. S. Bergamaschi, S. Lodi and C. Sartori, Representational extensions of DLs,Working Notes, AAAI Fall Symp. on Issues in Description Logics (1992) pp. 11?13.

4. A. Borgida, Towards the systematic development of description logic reasoners: Clasp reconstructed,KR-92 (1992) pp. 259?269.

5. A. Borgida, R.J. Brachman, D.L. McGuinness and L.A. Resnick, CLASSIC: A structural data model for objects,ACM-SIGMOD-89, Portland, OR (1989).

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

1. Formalizing Object-Ontological Mapping Using F-logic;Rules and Reasoning;2019

2. Multilevel Modeling and Reasoning with FOML;2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE);2016-06

3. Combining Subgroup Discovery and Permutation Testing to Reduce Reduncancy;Lecture Notes in Computer Science;2010

4. Rules and Ontologies in F-Logic;Reasoning Web;2005

5. Ubiquitous Access to Deep Content via Web Services;Lecture Notes in Computer Science;2003