Search Results - "Nonnumerical Algorithms AND Problem—Complexity of Proof Procedures~"

On the complexity of Horn description logics

Authors: Markus Krötzsch Sebastian Rudolph Pascal Hitzler et al.

Contributors: Markus Krötzsch Sebastian Rudolph Pascal Hitzler et al.

Source: http://knoesis.wright.edu/faculty/pascal/resources/publications/Hitzler-submission-HornDLs.pdf.

Subject Terms: Categories and Subject Descriptors, I.2.4 [Knowledge Representation Formalisms and Methods, Representation languages, F.2.2. [Analysis of Algorithms and Problem Com- plexity, Nonnumerical Algorithms and Problem—Complexity of Proof Procedures, F.4.1 [Math- ematical Logic and Formal Languages, Mathematical Logic—Computational Logic General Terms, Languages, Theory Additional Key Words and Phrases, description logics, Horn logic, computational complexity

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.614.7386

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.614.7386
http://knoesis.wright.edu/faculty/pascal/resources/publications/Hitzler-submission-HornDLs.pdf

On the complexity of Horn description logics

Authors: Markus Krötzsch Sebastian Rudolph Pascal Hitzler et al.

Contributors: Markus Krötzsch Sebastian Rudolph Pascal Hitzler et al.

Source: http://tocl.acm.org/accepted/TOCL-2011-0035.pdf.

Subject Terms: Categories and Subject Descriptors, I.2.4 [Knowledge Representation Formalisms and Methods, Representation languages, F.2.2. [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problem—Complexity of Proof Procedures, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational Logic General Terms, Languages, Theory Additional Key Words and Phrases, description logics, Horn logic, computational complexity

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4594

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4594
http://tocl.acm.org/accepted/TOCL-2011-0035.pdf

Complexities of Horn Description Logics.

Authors: KRÖTZSCH, MARKUS RUDOLPH, SEBASTIAN HITZLER, PASCAL

Source: ACM Transactions on Computational Logic; Feb2013, Vol. 14 Issue 1, p1-36, 36p

Subject Terms: COMPUTATIONAL complexity, DESCRIPTION logics, DISJUNCTION (Logic), NATURAL language processing, MATHEMATICAL transformations, MATHEMATICAL models