Foundations of a functional approach to knowledge representation.
Artificial Intelligence
The role of frame-based representation in reasoning
Communications of the ACM
All I know: a study in autoepistemic logic
Artificial Intelligence
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Attributive concept descriptions with complements
Artificial Intelligence
The CLASSIC knowledge representation system: guiding principles and implementation rationale
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Journal of Logic Programming
On the decidability and complexity of autoepistemic reasoning
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Minimal belief and negation as failure
Artificial Intelligence
NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Limited reasoning in first-order knowledge bases with full introspection
Artificial Intelligence
ACM Transactions on Database Systems (TODS)
Reasoning in description logics
Principles of knowledge representation
An epistemic operator for description logics
Artificial Intelligence
Verification of knowledge bases based on containment checking
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Readings in Knowledge Representation
Readings in Knowledge Representation
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Non-first-order features in concept languages
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Autoepistemic description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
The description logic handbook
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Rules and Ontologies for the Semantic Web
Reasoning Web
Reasoning about Typicality in Preferential Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
Generating complex ontology instances from documents
Journal of Algorithms
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Realizing Default Logic over Description Logic Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
Defeasible inclusions in low-complexity DLs: preliminary notes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Modelling Object Typicality in Description Logics
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Reconciling description logics and rules
Journal of the ACM (JACM)
Preferential description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
OBO and OWL: leveraging semantic web technologies for the life sciences
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
EL with default attributes and overriding
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Towards hybrid reasoning for verifying and validating multilevel models
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
A tableau calculus for a nonmonotonic extension of EL⊥
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
A tableau calculus for a nonmonotonic extension of the description logic DL-litecore
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Local closed world semantics: grounded circumscription for OWL
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Representing and reasoning on typicality in formal ontologies
Proceedings of the 7th International Conference on Semantic Systems
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Representing web service policies in OWL-DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Matching semantic service descriptions with local closed-world reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
On representational issues about combinations of classical theories with nonmonotonic rules
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A dynamic access control model
Applied Intelligence
Ontology query answering on databases
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
On directly mapping relational databases to RDF and OWL
Proceedings of the 21st international conference on World Wide Web
Defeasible inclusions in low-complexity DLs
Journal of Artificial Intelligence Research
On the complexity of EL with defeasible inclusions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Defeasible inheritance-based description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Reasoning about typicality in low complexity DLs: the logics EL⊥Tmin and DL-LitecTmin
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Recent advances in integrating OWL and rules (technical communication)
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Ontology constraints in incomplete and complete data
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
Preferential Semantics for Plausible Subsumption in Possibility Theory
Minds and Machines
Ontology-based data access with closed predicates is inherently intractable (sometimes)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Integrity constraints in OWL ontologies based on grounded circumscription
Frontiers of Computer Science: Selected Publications from Chinese Universities
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment description logics with modal operators interpreted according to Lifschitz's nonmonotonic logic MKNF. We show the usefulness of MKNF-DLs for a formal characterization of a wide variety of nonmonotonic features that are both commonly available inframe-based systems, and needed in the development of practical knowledge-based applications: defaults, integrity constraints, role, and concept closure. In addition, we provide a correct and terminating calculus for query answering in a very expressive MKNF-DL.