Author of the publication

Logical Connections of Statements in Ontologies.

, , and . IEEE ICCI, page 440-446. IEEE Computer Society, (2006)

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

The Limits of Horn Logic Programs., , and . ICLP, volume 2401 of Lecture Notes in Computer Science, page 467. Springer, (2002)The Entropy of Rough Relations in Rough Relational Databases., , and . ISAS-SCI (1), page 566-570. IIIS, (2001)Rough Set Theory under the Similarity Relations., , , and . ISAS-SCI (1), page 405-409. IIIS, (2001)Translating Ontologies to Default Logic., and . AIAI, volume 187 of IFIP, page 145-153. Springer, (2005)The Limits of Horn Logic Programs, , and . CoRR, (2001)ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems., , , , and . KES, volume 3213 of Lecture Notes in Computer Science, page 263-269. Springer, (2004)Concept Approximation in Concept Lattice., , , , and . PAKDD, volume 2035 of Lecture Notes in Computer Science, page 167-173. Springer, (2001)A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic., , , and . Theor. Comput. Sci., 368 (1-2): 149-160 (2006)Completeness of Hoare logic with inputs over the standard model., , and . Theor. Comput. Sci., (2016)R-Calculus, V: Description Logics, and . Springer, (2024)