Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
A Refinement Operator for Description Logics
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
The description logic handbook
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
An algorithm based on counterfactuals for concept learning in the Semantic Web
Applied Intelligence
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
On scene interpretation with description logics
Image and Vision Computing
Formalizing Ontology Modularization through the Notion of Interfaces
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of Electronic Commerce
An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Ontology-Based Learning Objects Search And Courses Generation
Applied Artificial Intelligence
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
An architecture and formalism for handling modular ontologies
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reasoning about Web Services with Local Closed World Assumption
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
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
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
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
Preferential description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
An ontology for software models and its practical implications for semantic web reasoning
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Data validation with OWL integrity constraints
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
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
Epistemic querying of OWL knowledge bases
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Representing and reasoning on typicality in formal ontologies
Proceedings of the 7th International Conference on Semantic Systems
XBRL taxonomies and OWL ontologies for investment funds
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
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
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Ontology and time evolution of obligations and prohibitions using semantic web technology
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
On directly mapping relational databases to RDF and OWL
Proceedings of the 21st international conference on World Wide Web
Justified terminological reasoning
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
ALC + T: a Preferential Extension of Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
Integrity constraints in OWL ontologies based on grounded circumscription
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |