Description Logic Reasoning for Dynamic ABoxes

@inproceedings{HalaschekWiener2006DescriptionLR,
  title={Description Logic Reasoning for Dynamic ABoxes},
  author={Christian Halaschek-Wiener and Bijan Parsia and Evren Sirin and Aditya Kalyanpur},
  booktitle={Description Logics},
  year={2006}
}
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

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

References

Publications referenced by this paper.
Showing 1-9 of 9 references

Ontology reasoning in the SHOQ(D) description logic

IJCAI 2001 • 2001
View 6 Excerpts
Highly Influenced

Extending tableau tracing for abox updates

Christian Halaschek-Wiener, Aditya Kalyanpur, Bijan Parsia
In UMIACS Tech Report, • 2006
View 2 Excerpts

Updating logical databases. In Updating Logical Databases

M. Winslett
1990
View 1 Excerpt

Tableau tracing in shoin

C. Lutz, M. Milicic, F. Wolter
UMIACS Tech Report

Similar Papers

Loading similar papers…