Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Yue Ma/Publikationen/en

Aus Aifbportal

Wechseln zu: Navigation, Suche

Publications by Yue Ma






inproceedings
Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Reasoning for Expressive and Tractable Description Logics
In Franz Baader, Carsten Lutz, Boris Motik, Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008, CEUR Workshop Proceedings, 353, April, 2008
(Details)

Yue Ma, Pascal Hitzler, Zuoquan Lin
Algorithms for Paraconsistent Reasoning with OWL
In Enrico Franconi, Michael Kifer, Wolfgang May, The Semantic Web: Research and Applications. Proceedings of the 4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007., pages: 399-413, Springer, Lecture Notes in Computer Science, 4519, Juni, 2007
(Details)

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, roceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007, pages: 403-410, CEUR Workshop Proceedings, Vol-250, Juni, 2007
(Details)

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In K. Mellouli, Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, pages: 30-41, Springer, LNAI, 4724, Hammamet , Tunisia, Oktober, 2007
(Details)

Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Resolution for Four-valued Description Logics
In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007, pages: 395-402, CEUR Workshop Proceedings, Vol-250, Juni, 2007
(Details)

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
In K. Mellouli, Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, pages: 91-102, Springer, LNAI, 4724, Hammamet , Tunisia, Oktober, 2007
(Details)

Zhangang Lin, Yue Ma, Zuoquan Lin
A Fault-Tolerant Default Logic
In Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa, JELIA, pages: 253-265, Springer, Lecture Notes in Computer Science, 4160, September, 2006
(Details)

Yue Ma, Zhangang Lin, Zuoquan Lin
Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach
In Torsten Grust and etc., EDBT Workshops, pages: 535-553, Springer, Lecture Notes in Computer Science, 4254, März, 2006
(Details)

Anbu Yue, Yue Ma, Zuoquan Lin
Four-Valued Semantics for Default Logic
In Luc Lamontagne and Mario Marchand, Canadian Conference on AI, pages: 195-205, Springer, Lecture Notes in Computer Science, 4013, Juni, 2006
(Details)

↑ top

techreport
Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner
AIFB, University of Karlsruhe, archiv number: 1390, Dezember, 2006
(Details)

↑ top