Rewriting queries using views in description logics
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Resource-bounded Relational Reasoning: Induction and Deduction Through Stochastic Matching
Machine Learning - Special issue on multistrategy learning
Domain analysis of object-oriented frameworks in FrameDoc
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Derived types and taxonomic constraints in conceptual modeling
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Acquiring Configuration Knowledge Bases in the Semantic Web Using UML
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
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
Semantic Comparison of Texts for Learning Environments
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Taxonomies and Derivation Rules in Conceptual Modeling
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Modelling the CBR Life Cycle Using Description Logics
ICCBR '99 Proceedings of the Third International Conference on Case-Based Reasoning and Development
Combining Description Logics with Stratified Logic Programs in Knowledge Representation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Anaphoric Definitions in Description Logic
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Notions of Indistinguishability for Semantic Web Languages
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A NExpTime-Complete Description Logic Strictly Contained in C2
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Modal Logic and the Two-Variable Fragment
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A Refinement Operator for Description Logics
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Journal of Computer and System Sciences - Special issue on PODS 2000
The description logic handbook
Configuration knowledge representations for Semantic Web applications
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Scalability and efficiency in multi-relational data mining
ACM SIGKDD Explorations Newsletter
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
A predicate-ordered logic for knowledge representation on the web
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Checking query containment with the CQC method
Data & Knowledge Engineering
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
Reasoning and change management in modular ontologies
Data & Knowledge Engineering
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Journal of Automated Reasoning
Implementation of ontology mapping for computational agents
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
DL-FOIL Concept Learning in Description Logics
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Foundations of Onto-Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Loopy Propagation in a Probabilistic Description Logic
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
MDSM: A Model-Driven Approach to Semantic Service Selection for Collaborative Business Processes
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Hybrid Search Methods for Automatic Discovery of Computational Agent Schemes
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
On Importing Knowledge from Ontologies.
Modular Ontologies
Formal and Conceptual Comparison of Ontology Mapping Languages
Modular Ontologies
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Generalized Abstract Argumentation: Handling Arguments in FOL Fragments
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
Journal of Artificial Intelligence Research
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A formal investigation of mapping language for terminological knowledge
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
Making fuzzy description logic more general
Fuzzy Sets and Systems
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Learnability of description logic programs
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Towards the induction of terminological decision trees
Proceedings of the 2010 ACM Symposium on Applied Computing
Data quality enhancement of databases using ontologies and inductive reasoning
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Probabilistic information integration and retrieval in the semantic web
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Conceptual clustering and its application to concept drift and novelty detection
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Logic-based knowledge representation
Artificial intelligence today
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Putting abox updates into action
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Improved knowledge management through first-order logic in engineering design ontologies
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Logical foundations of RDF(S) with datatypes
Journal of Artificial Intelligence Research
Nonmonotonic onto-relational learning
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Modeling Contexts with Dependent Types
Fundamenta Informaticae
Improving the quality of rule-based applications using the declarative verification approach
International Journal of Knowledge Engineering and Data Mining
Linking open spatiotemporal data in the data clouds
RSKT'10 Proceedings of the 5th international conference on Rough set and knowledge technology
Role-based design of computational intelligence multi-agent system
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
SWRL rules plan encoding with OWL-S composite services
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Probabilistic-logical web data integration
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Continuous improvement through knowledge-guided analysis in experience feedback
Engineering Applications of Artificial Intelligence
Foundations of instance level updates in expressive description logics
Artificial Intelligence
Practice of inductive reasoning on the semantic web: a system for semantic web mining
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The limits of querying ontologies
ICDT'07 Proceedings of the 11th international conference on Database Theory
Towards an authority sharing based on the viewpoint action model
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Toward multi-viewpoint reasoning with OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Description and generation of computational agents
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
ILP meets knowledge engineering: a case study
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Principles of inductive reasoning on the semantic web: a framework for learning in AL-log
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Description logic TBoxes: model-theoretic characterizations and rewritability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On the Relationship between Description Logic-based and F-Logic-based Ontologies
Fundamenta Informaticae
Formal foundations for situation awareness based on dependent type theory
Information Fusion
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Business Service Modeling for the Service-Oriented Enterprise
International Journal of Information System Modeling and Design
AL-QuIn: An Onto-Relational Learning System for Semantic Web Mining
International Journal on Semantic Web & Information Systems
Statistical relational data integration for information extraction
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Graph-based reasoning in collaborative knowledge management for industrial maintenance
Computers in Industry
Ontological modelling of form and function for architectural design
Applied Ontology
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |