Journal of Automated Reasoning · 2010 · 35 citations · 34 references
ComputingComputer ScienceKnowledge RepresentationLogicDescription LogicsFormal OntologyOntology DesignOntology EngineeringTaxonomyDescription Logic OntologiesDescription Logic ReasoningIncremental ImplementationOntologiesOntology Formalization
34
Lecture Notes in Artificial Intelligence
Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations
Pellet: A practical OWL-DL reasoner
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau et al. · Journal of Web Semantics · 2007 · 2.6K citations
The Description Logic Handbook – Theory, Implementation and Applications
C.J.H. Mann · Kybernetes · 2003 · 2.2K citations
Johan de Kleer · Artificial Intelligence · 1986 · 1.8K citations