Reasoning in description logics using declarative logic programming

@inproceedings{Alsa2004ReasoningID,
  title={Reasoning in description logics using declarative logic programming},
  author={G{\"u}ray Alsaç and Chitta Baral},
  year={2004}
}
In this paper our goal is to bridge two popular and wellstudied knowledge representation formalisms: description logics (DLs), and declarative logic programs (DLPs). In recent years there has been tremendous development in both fields in terms of theoretical studies and implementations. However, despite a few papers on allowing logic programming style rules in description logic, there has been little research on how they relate to each other, how one can be simulated by the other, and how ideas… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 24 extracted citations

Conceptual logic programs

Annals of Mathematics and Artificial Intelligence • 2006
View 4 Excerpts
Highly Influenced

Rules and Rule Markup Languages for the Semantic Web

Lecture Notes in Computer Science • 2004
View 7 Excerpts
Highly Influenced

Integrating Ontology Languages and Answer Set Programming

DEXA Workshops • 2003
View 3 Excerpts
Highly Influenced

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

IEEE Transactions on Knowledge and Data Engineering • 2010
View 1 Excerpt

Ontology Refactoring

2008 IEEE International Conference on Semantic Computing • 2008
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Reasoning in expressive DLs

D. Calvanese, G. DeGiacomo, D. Nardi, M. Lenzerini
Robinson, A., and Voronkov, A., eds., Handbook of automated reasoning. N. Holland. • 2001
View 2 Excerpts

Similar Papers

Loading similar papers…