Pellet: A practical OWL-DL reasoner - Concepedia

Concepedia

Publication | Closed Access

Pellet: A practical OWL-DL reasoner

2.6K

Citations

25

References

2007

Year

Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz

Journal of Web Semantics

EngineeringAutomated ReasoningDescription LogicFormal MethodsComputer ScienceDescription LogicsSemantic WebSemanticsOntology LanguageFormal VerificationSemantic ReasonerPractical Owl-dl Reasoner

References

	Year	Citations

Page 1