• No results found

PP 2018 12: A Parameterized Complexity View on Description Logic Reasoning

N/A
N/A
Protected

Academic year: 2020

Share "PP 2018 12: A Parameterized Complexity View on Description Logic Reasoning"

Copied!
10
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Figure 1: An overview of the landscape of parameterizedcomplexity classes that play a role in this paper.
Table 2: Transformation rules of the tableau algorithm for ALC concept satisfiability.
Table 3: The parameterized complexity of ALC concept sat-isfiability (with no TBoxes) for different parameters.

References

Related documents

I Support in equality issues: ‘Logib-D’ may serve as a data basis for questions relating to the topics of pay and gender equality.. Applying the ‘Logib-D’ system

This implies that availability of health resources, accessibility of health care centre, cost antenatal health care, location, pregnant women knowledge of ANC

Transport money, service fees, long distances to health facilities, desirability, waiting to get permission to start antenatal care clinics and limited

Third, the pharmacological targeting of Survivin by using a small-molecule inhibitor YM155 (currently in clinical trials) resulted in significant improvement in survival

Graph 6.14: Distribution of eating and feeding behaviour scores in severely undernourished children on ready to use foods by type of food offered

In summary, death of a sibling has short-lived and long-term physical and emotional effects on surviving children’s health. Understanding surviving children’s health and what factors

In order to accurately measure the technical content of China's automobile manufacturing export, the article used Hausmann (2005) export sophistication model to calculate the

Kajian Subaltern dalam cerpen Saras meliputi hak-hak wanita yang ditindas oleh golongan lelaki dalam kehidupan seharian mereka.. Hak wanita yang dikaji dari segi