SSRN Electronic Journal · 2007 · 143 citations · 6 references
ComputingComputer ScienceKnowledge RepresentationLogicNatural Language ProcessingAutomated ReasoningDescription LogicsFormal OntologyOntology DesignOntology EngineeringPredicate LogicDescription Logic OntologiesExpressive Description LogicsOntology Reasoning
6
Pellet: A Practical OWL-DL Reasoner
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau et al. · SSRN Electronic Journal · 2007 · 143 citations · Full text
An epistemic operator for description logics
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi et al. · Artificial Intelligence · 1998 · 133 citations
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin · Journal of Web Semantics · 2005 · 126 citations
Swoop: A Web Ontology Editing Browser
Aditya Kalyanpur, Bijan Parsia, Evren Sirin et al. · SSRN Electronic Journal · 2006 · 34 citations · Full text