Computational complexity of terminological reasoning in BACK
Artificial Intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
CLASP: Integrating Term Subsumption Systems and Production Systems
IEEE Transactions on Knowledge and Data Engineering
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
DAML+OIL: An Ontology Language for the Semantic Web
IEEE Intelligent Systems
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
MSPASS: Modal Reasoning by Translation and First-Order Resolution
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Consistency Testing: The RACE Experience
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
DAMLJessKB: A Tool for Reasoning with the Semantic Web
IEEE Intelligent Systems
Pragmatic applications of the Semantic Web using SemTalk
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Implementation of the BACK-System Version 4
Implementation of the BACK-System Version 4
Inferences for Temporal Object Descriptions in a Terminological Representation System: Design and Implementation
Decidable, logic-based knowledge representation
Decidable, logic-based knowledge representation
Towards a People's Web: Metalog
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Towards Semantic Web agents: Knowledge Web and AgentLink
The Knowledge Engineering Review
The Description Logic Handbook
The Description Logic Handbook
A Rule-Based Object-Oriented OWL Reasoner
IEEE Transactions on Knowledge and Data Engineering
Applied Ontology
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
The restricted language architecture of a hybrid representation system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Concept languages as query languages
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Recognition algorithms for the loom classifier
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Small can be beautiful in knowledge representation
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Approximating description logic classification for semantic web reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
CEL: a polynomial-time reasoner for life science ontologies
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Scalable RDF graph querying using cloud computing
Journal of Web Engineering
SHERLOCK: a system for location-based services in wireless environments using semantics
Proceedings of the 22nd international conference on World Wide Web companion
A survey of service composition in ambient intelligence environments
Artificial Intelligence Review
Hi-index | 0.00 |
Semantic web reasoners and languages enable the semantic web to function. Some of the latest reasoning models developed in the last few years are: DLP, FaCT, RACER, Pellet, MSPASS, CEL, Cerebra Engine, QuOnto, KAON2, HermiT and others. Some software tools such as Protégé, Jena and others also have been developed, which provide inferencing as well as ontology development and management environments. These reasoners usually differ in their inference procedures, supporting logic, completeness of reasoning, expressiveness and implementation languages. Various semantic web languages with increasing expressive power continue to be developed for describing web services. We survey the some of the more recent languages like OWL-S (Ontology Web Language-Schema), WSML (Web Service Modeling Language), SWRL (Semantic Web Rule Language) and others that have been tested in early use. We also survey semantic web reasoners and their relationship to these languages.