Knowledge integration for description logics

Authors:
Thomas Meyer;Kevin Lee;Richard Booth
Affiliations:
KRR, National ICT Australia, School of Computer Science and Engineering, UNSW, Sydney, Australia;KRR, National ICT Australia, School of Computer Science and Engineering, UNSW, Sydney, Australia;Department of Computing, Macquarie University, Sydney, Australia
Venue:
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Year:
2005

Citing 10
Cited 23

Reasoning and revision in hybrid representation systems

Reasoning and revision in hybrid representation systems
Attributive concept descriptions with complements

Artificial Intelligence
Cardinality restrictions on concepts

Artificial Intelligence
The FaCT System

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Basic description logics

The description logic handbook
Extensions to description logics

The description logic handbook
Weakening conflicting information for iterated revision and knowledge integration

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Non-standard reasoning services for the debugging of description logic terminologies

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Relating belief revision and circumscription

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Debugging Incoherent Terminologies

Journal of Automated Reasoning
A revision-based approach to handling inconsistency in description logics

Artificial Intelligence Review
Computing minimum cost diagnoses to repair populated DL-based ontologies

Proceedings of the 17th international conference on World Wide Web
Ontology change: Classification and survey

The Knowledge Engineering Review
Lexicographical Inference over Inconsistent DL-Based Ontologies

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Survey of Revision Approaches in Description Logics

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Ontology Based Object Categorization for Robots

PAKM '08 Proceedings of the 7th International Conference on Practical Aspects of Knowledge Management
On the update of description logic ontologies at the instance level

AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Finding maximally satisfiable terminologies for the description logic ALC

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Model-based revision operators for terminologies in description logics

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The DL-lite family and relations

Journal of Artificial Intelligence Research
A framework for handling revisions in distributed ontologies

Proceedings of the 2010 ACM Symposium on Applied Computing
Approaches to inconsistency handling in description-logic based ontologies

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Scalable cleanup of information extraction data using ontologies

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Measuring incoherence in description logic-based ontologies

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
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
Inconsistent ontology revision based on ontology constructs

Expert Systems with Applications: An International Journal
Review:

The Knowledge Engineering Review
Knowledge merging under multiple attributes

KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Knowledge base revision in description logics

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An argumentation framework for description logic ontology reasoning and management

Journal of Intelligent Information Systems
Inferring robot goals from violations of semantic knowledge

Robotics and Autonomous Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define a generalized strategy eliminability criterion for bimatrix games that considers whether a given strategy is eliminable relative to given dominator & eliminee subsets of the players' strategies. We show that this definition spans a spectrum ...