Distributed resolution for ALC

CEUR Workshop Proceedings

Volumn 353, Issue , 2008, Pages

  Schlicht, Anne ^a   Stuckenschmidt, Heiner ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; LITERALS; MULTIPLE RESOLUTIONS; SATISFIABILITY; SCALABLE REASONINGS; SEMANTIC WEB LANGUAGES;

ALGORITHMS; FORMAL LANGUAGES;

DATA DESCRIPTION;

EID: 84872968941     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. E. Amir and S. McIlraith. Partition-based logical reasoning for first-order and propositional theories. Artificial Intelligence, 162(1-2):49-88, 2005.
2. A. Borgida and L. Serafini. Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics, 1:153-184, 2003.
3. Bernardo Cuenca Grau, Bijan Parsia, and Evren Sirin. Combining owl ontologies using e-connections. Journal Of Web Semantics, 4(1), 2005.
4. Ewing L. Lusk, William W. McCune, and John Slaney. Roo: a parallel theorem prover. In In Proceedings of the 11th CADE, volume 607 of LNAI, pages 731-734. Springer Verlag, 1992.
5. C. Lutz, D. Walther, and F. Wolter. Conservative extensions in expressive description logics. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence IJCAI-07. AAAI Press, 2007.
6. Boris Motik. Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Karlsruhe, Germany, January 2006.
7. Tanel Tammet. Resolution methods for Decision Problems and Finite Model Building. PhD thesis, Chalmers University of Technology and University of Göteborg, 1992.