Dear Michael, (01)
in the OntoIOp telcon, we have iscussed the topic ontology approximation
(and the DOL approximation construct "ONTO approximated_in LOGIC with
METHOD"), and you have asked for references. (02)
Some references on approximation of OWL within OWL sublanguages are:
Jeff Z. Pan and Edward Thomas. Approximating OWL-DL ontologies. In AAAI,
pages 1434–1439, 2007.
Yuan Ren, Jeff Z. Pan, and Yuting Zhao. Soundness preserving
approximation for TBox reasoning. In AAAI, 2010.
Carsten Lutz, Inanç Seylan, and Frank Wolter. An automata-theoretic
approach to uniform interpolation and approximation in the description
logic EL. In Principles of Knowledge Representation and Reasoning:
Proceedings of the Thirteenth International Conference, KR 2012, Rome,
Italy, June 10-14, 2012, 2012.
http://www.informatik.uni-bremen.de/~clu/papers/archive/KR12b.pdf (03)
The last paper provides an example of an ELU ontology that cannot be
optimally approximated in EL, in the sense that there exists an infinite
chain of better and better approximation. (04)
Concerning the approximation of propositional logic within its Horn
fragment:
B. Selman and H. A. Kautz. Knowledge compilation and theory
approximation. J. ACM, 43(2):193–224, 1996. (05)
Concerning the approximation of FOL within sublanguages, there is:
A. del Val. An analysis of approximate knowledge compilation. In
IJCAI’95, Proceedings of the Fourteenth International Joint Conference
on Artificial Intelligence, pages 830–836, 1995.
A. del Val. First order LUB approximations: characterization and
algorithms. Artificial Intelligence, 162(1-2):7–48, 2005. (06)
Concerning the approximation of FOL within OWL, there is some
preliminary work of a PhD student of mine:
Klaus Lüttich: Approximation of Ontologies in CASL. FOIS 2006: 335-346
which was later extended in his PhD thesis (which I can provide on request). (07)
All the best,
Till
--
Prof. Dr. Till Mossakowski Cartesium, room 2.51 Phone +49-421-218-64226
DFKI GmbH Bremen Fax +49-421-218-9864226
Cyber-Physical Systems Till.Mossakowski@xxxxxxx
Enrique-Schmidt-Str. 5, D-28359 Bremen
http://www.informatik.uni-bremen.de/~till/ (08)
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313 (09)
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp (010)
|