Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jcss.2011.02.012 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2008135441 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning on UML class diagrams / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4406531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conjunctive query containment and answering under description logic constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Query Answering in Description Logics: The Knots Approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational aspects of monotone dualization: a brief survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning Using Knots / rank
 
Normal rank
Property / cites work
 
Property / cites work: FDNC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3624113 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic for Programming, Artificial Intelligence, and Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning in description logics by a reduction to disjunctive datalog / rank
 
Normal rank
Property / cites work
 
Property / cites work: An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combining Horn rules and description logics in CARIN / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning About Actions Using Description Logics with General TBoxes / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of finite model reasoning in description logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of Planning in Action Formalisms Based on Description Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data complexity of query answering in expressive description logics via tableaux / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linking Data to Ontologies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4012244 / rank
 
Normal rank

Revision as of 04:15, 5 July 2024

scientific article
Language Label Description Also known as
English
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
scientific article

    Statements

    Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (English)
    0 references
    0 references
    0 references
    0 references
    11 May 2012
    0 references
    description logics
    0 references
    conjunctive query answering
    0 references
    knots
    0 references
    computational complexity
    0 references
    disjunctive Datalog
    0 references

    Identifiers