Attributive concept descriptions with complements
Artificial Intelligence
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
The complexity of concept languages
Information and Computation
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Description logics for conceptual data modeling
Logics for databases and information systems
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Conjunctive Query Language for Description Logic Aboxes
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Answering Queries Using Views over Description Logics Knowledge Bases
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
How to decide query containment under constraints using a description logic
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
DAML+OIL: A Reason-Able Web Ontology Language
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Data & Knowledge Engineering - Special issue: The language/action perspective
Ontalk: ontology-based personal document management system
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
An enhanced model for searching in semantic portals
WWW '05 Proceedings of the 14th international conference on World Wide Web
A mapping system for the integration of OWL-DL ontologies
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Ontology oriented programming in go!
Applied Intelligence
Proceedings of the 15th 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
An experimental ontology server for an information grid environment
International Journal of Parallel Programming
Toward expressive syndication on the web
Proceedings of the 16th international conference on World Wide Web
ACM Transactions on the Web (TWEB)
A survey on web services composition
International Journal of Web and Grid Services
CE2: towards a large scale hybrid search engine with integrated ranking support
Proceedings of the 17th ACM conference on Information and knowledge management
Efficient Index Maintenance for Frequently Updated Semantic Data
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Dataplorer: a scalable search engine for the data web
Proceedings of the 18th international conference on World wide web
SPARQL graph pattern rewriting for OWL-DL inference queries
Knowledge and Information Systems
Scalable semantic retrieval through summarization and refinement
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Semplore: A scalable IR approach to search the Web of Data
Web Semantics: Science, Services and Agents on the World Wide Web
Description logics for an autonomic IDS event analysis system
Computer Communications
Web Semantics: Science, Services and Agents on the World Wide Web
Leveraging the expressivity of grounded conjunctive query languages
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Semplore: an IR approach to scalable hybrid query of semantic web data
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Q2Semantic: a lightweight keyword interface to semantic search
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
An approach for multi-agent coordination based on semantic approximation
International Journal of Intelligent Information and Database Systems
A refinement operator based method for semantic grouping of conjunctive query results
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Effective and efficient keyword query interpretation using a hybrid graph
WISE'10 Proceedings of the 11th international conference on Web information systems engineering
Lightweight integration of IR and DB for scalable hybrid search with integrated ranking support
Web Semantics: Science, Services and Agents on the World Wide Web
Integrating web services into ontology-based web portal
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
The limits of querying ontologies
ICDT'07 Proceedings of the 11th international conference on Database Theory
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
A combination framework for semantic based query across multiple ontologies
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
The summary abox: cutting ontologies down to size
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Ontology query answering on databases
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Querying RDF data from a graph database perspective
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
An ontology-guided approach to change detection of the semantic web data
Journal on Data Semantics V
Reasoning support for expressive ontology languages using a theorem prover
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
An experimental information grid environment for cultural heritage knowledge sharing
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Reasoning on dynamically built reasoning space with ontology modules
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Categorize by: deductive aggregation of semantic web query results
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
| Hi-index | 0.00 |
Ontologies are set to play a key role in the Semantic Web, and several web ontology languages, like DAML+OIL, are based on DLs. These not only provide a clear semantics to the ontology languages, but allows them to exploit DL systems in order to provide correct and complete reasoning services.Recent results shown that DL systems can be enriched by a conjunctive query language, providing a solution to one of the weakness of traditional DL systems. These results can be transfered to the Semantic Web community, where the need for expressive query languages is witnessed by different proposals (like DQL for DAML+OIL).In this paper we present a logical framework for conjunctive query answering in DAML+OIL. Moreover, we provide a sound and complete algorithm based on recent Description Logic research.