CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Improvements to propositional satisfiability search algorithms
Improvements to propositional satisfiability search algorithms
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
IEEE standard upper ontology: a progress report
The Knowledge Engineering Review
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
On the Scalability of Description Logic Instance Retrieval
Journal of Automated Reasoning
Who the Heck Is the Father of Bob?
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Scalable highly expressive reasoner (SHER)
Web Semantics: Science, Services and Agents on the World Wide Web
Multimedia Interpretation for Dynamic Ontology Evolution
Journal of Logic and Computation
A Novel Architecture for Situation Awareness Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
On the scalability of description logic instance retrieval
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Description Logic for Scene Understanding
Description Logic for Scene Understanding
Parallel TBox Classification in Description Logics --First Experimental Results
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Towards scalable instance retrieval over ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
A probabilistic abduction engine for media interpretation based on ontologies
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Distributed island-based query answering for expressive ontologies
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
Hi-index | 0.00 |
RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic reasoner. It provides inference services for terminological knowledge as well as for representations of knowledge about individuals. Based on new optimization techniques and techniques that have been developed in the research field of description logics throughout the years, a mature architecture for typical-case reasoning tasks is provided. The system has been used in hundreds of research projects and industrial contexts throughout the last twelve years. W3C standards as well as detailed feedback reports from numerous users have influenced the design of the system architecture in general, and have also shaped the RacerPro knowledge representation and interface languages. With its query and rule languages, RacerPro goes well beyond standard inference services provided by other OWL reasoners.