Author of the publication

A Tableau Algorithm for Possibilistic Description Logic .

, and . ASWC, volume 5367 of Lecture Notes in Computer Science, page 61-75. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Scalable Querying Service over Fuzzy Ontologies, , , , and . International World Wide Web Conference (WWW 08), Beijing, 2008, (2008)A Kernel Revision Operator for Terminologies, , , , , and . (October 2008)Description Logics: Reasoning Support for the Semantic Web. School of Computer Science, The University of Manchester, Oxford Rd, Manchester M13 9PL, UK, (2004)Ontology Driven Architectures and Potential Uses of the Semantic Web in Systems and Software Engineering, , , , , and . W3C Working Draft Working Group Note, 2006/02/11. W3C, (March 2006)Concept and Role Forgetting in ALC Ontologies, , , , and . Proceedings of the 8th International Semantic Web Conference (ISWC2009), volume 5318 of Lecture Notes in Computer Science, (October 2009)Stream Reasoning for Linked Data, and . (2011)The tutorial was presented at the 8th Extended Semantic Web Conference (ESWC2011), Heraklion, Greece and the 7th Semantic Technology Conference (SemTech2011), San Francisco, USA.Passing a USA National Bar Exam - a First Experiment., , and . JURIX, volume 279 of Frontiers in Artificial Intelligence and Applications, page 179-180. IOS Press, (2015)Optimising ontology stream reasoning with truth maintenance system., and . CIKM, page 831-836. ACM, (2011)Tractable approximate deduction for OWL., , and . Artif. Intell., (2016)Deep Learning for Knowledge-Driven Ontology Stream Prediction., , , and . CCKS, volume 957 of Communications in Computer and Information Science, page 52-64. Springer, (2018)