Justification Oriented Proofs in OWL

@inproceedings{Horridge2010JustificationOP,
  title={Justification Oriented Proofs in OWL},
  author={Matthew Horridge and Bijan Parsia and Ulrike Sattler},
  booktitle={International Semantic Web Conference},
  year={2010}
}
Highly Cited
This paper has 45 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

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

Database and Expert Systems Applications

View 9 Excerpts
Highly Influenced

Building Ontology-Based Information Systems

View 3 Excerpts
Highly Influenced

On explaining inconsistencies in multi-context streams as support for the human user

2017 13th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) • 2017

Similar Papers

Loading similar papers…