Author:
Nalon Cláudia,Kutz Oliver
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. Connecting Many-Sorted Theories;Baader;The Journal of Symbolic Logic,2007
2. Fusions of description logics and abstract description systems;Baader;Journal of Artificial Intelligence Research (JAIR),2002
3. Ontological modelling of form and function in architectural design;Bhatt;Applied Ontology,2012
4. Distributed Description Logics: Assimilating Information from Peer Sources;Borgida;Journal of Data Semantics,2003
5. Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems;Carnielli,2008
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献