Reasoning with individuals in concept languages
Data & Knowledge Engineering
Using explicit ontologies in KBS development
International Journal of Human-Computer Studies
The Semantic Web: The Roles of XML and RDF
IEEE Internet Computing
Tableau Algorithms for Description Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Journal of Artificial Intelligence Research
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
On Expressive Description Logics with Composition of Roles in Number Restrictions
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Extending Datatype Support in Web Ontology Reasoning
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Defeasible Ontology Language
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A system for principled matchmaking in an electronic marketplace
WWW '03 Proceedings of the 12th international conference on World Wide Web
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
Semantic Web support for the business-to-business e-commerce pre-contractual lifecycle
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
The description logic handbook
ε-connections of abstract description systems
Artificial Intelligence
Resolution for label-based formulas in hierarchical representation
New Generation Computing
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
A Flexible Ontology Reasoning Architecture for the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Dynamic evolutions based on ontologies
Knowledge-Based Systems
Contract clause negotiation by game theory
Proceedings of the 11th international conference on Artificial intelligence and law
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Requirements and Services for Metadata Management
IEEE Internet Computing
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
A Decidable Fuzzy Description Logic F-ALC(G)
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Formalizing Ontology Modularization through the Notion of Interfaces
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Semantic approach for modelling an assistive environment using description logic
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Ontology Integration Using ε-Connections
Modular Ontologies
Comirit: Commonsense Reasoning by Integrating Simulation and Logic
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints
Journal on Data Semantics XII
A semantic approach for accessible services delivery in a smart environment
International Journal of Web and Grid Services
Generalized link properties for expressive ε-connections of description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Abductive matchmaking using description logics
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Keys, nominate, and concrete domains
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
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
Semantic Matching Framework for handicap situation detection in smart environments
Journal of Ambient Intelligence and Smart Environments
Reducing OWL entailment to description logic satisfiability
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
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
OWL-Eu: Adding customised datatypes into OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
Aspects of inconsistency resolution in modular ontologies
Canadian AI'08 Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence
Spartacus: A Tableau Prover for Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
A deduction system for meaning negotiation
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
i-KNOW '11 Proceedings of the 11th International Conference on Knowledge Management and Knowledge Technologies
Local closed world semantics: grounded circumscription for OWL
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Translating XML web data into ontologies
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Knowledge enhancement through ontology-guided text mining
PReMI'05 Proceedings of the First international conference on Pattern Recognition and Machine Intelligence
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
OWL-Eu: adding customised datatypes into OWL
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Using ontologies to formalize services specifications in multi-agent systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Semantic mediation of vocabularies for ocean observing systems
Computers & Geosciences
Description logic reasoning with syntactic updates
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Semantic Matching Framework for handicap situation detection in smart environments
Journal of Ambient Intelligence and Smart Environments
Exact query reformulation with first-order ontologies and databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A tableau algorithm for description logics with nominal schema
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Applying semantic web technologies for diagnosing road traffic congestions
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Predicting knowledge in an ontology stream
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Realising an application environment for information-centric networking
Computer Networks: The International Journal of Computer and Telecommunications Networking
Inconsistency-tolerant reasoning with OWL DL
International Journal of Approximate Reasoning
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Hi-index | 0.00 |
Ontologies are set to play a key rôle in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resources. Reasoning over such descriptions will be essential if web resources are to be more accessible to automated processes. SHOQ(D) is an expressive description logic equipped with named individuals and concrete datatypes which has almost exactly the same expressive power as the latest web ontology languages (e.g., OIL and DAML). We present sound and complete reasoning services for this logic.