Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(3)
Description Logic
Query Processing
Semantic Retrieval
Related Publications
(3)
The Summary Abox: Cutting Ontologies Down to Size
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs
Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases
Subscribe
Academic
Publications
Scalable Semantic Retrieval through Summarization and Refinement
Scalable Semantic Retrieval through Summarization and Refinement,Julian Dolby,Achille Fokoue,Aditya Kalyanpur,Aaron Kershenbaum,Edith Schonberg,Kavith
Edit
Scalable Semantic Retrieval through Summarization and Refinement
(
Citations: 21
)
BibTex
|
RIS
|
RefWorks
Download
Julian Dolby
,
Achille Fokoue
,
Aditya Kalyanpur
,
Aaron Kershenbaum
,
Edith Schonberg
,
Kavitha Srinivas
,
Li Ma
Query processing
of OWL-DL ontologies is intractable in the worst case, but we present a novel technique that in practice allows for efficient querying of ontologies with large Aboxes in secondary storage. We focus on the processing of instance retrieval queries, i.e., queries that retrieve individuals in the Abox which are instances of a given concept C. Our tech- nique uses summarization and refinement to reduce instance retrieval to a small relevant subset of the original Abox. We demonstrate the effectiveness of this technique in Aboxes with up to 7 million assertions. Our results are applicable to the very expressive
description logic
SHIN , which cor- responds to OWL-DL minus nominals and datatypes.
Conference:
National Conference on Artificial Intelligence - AAAI
, pp. 299-304, 2007
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.aaai.org
)
(
www.informatik.uni-trier.de
)
(
ksg.meraka.org.za
)
(
domino.research.ibm.com
)
(
www.aaai.org
)
(
ksg.meraka.org.za
)
More »
Citation Context
(16)
...SHER [
27
] stores instance data in the database, and creates a small summary ABox from the original ABox for query processing...
Chen Zhou
,
et al.
Ontology Management in an Event-Triggered Knowledge Network
... small set S of axioms that is responsible for an inconsistency discovered by a single consistency test, and 2) performing additional |S| consistency check on KBs of size at most |S |− 1 to remove extraneous elements from S. In our previous work [4], we presented a scalable approach to efficiently compute a large number of − but not all − justifications in large and expressive KBs through the technique of summarization and refinement [
5
]...
...SHER was chosen for its unique ability to scale reasoning to very large and expressive KBs [
5
], and to efficiently detect large number of inconsistency justifications in a scalable way [4]...
...Fig. 4. Trust under 90% PuMS attack (No duplication) Fig. 5. Trust under single PuMS attack (25% duplication) Assessing Trust in Uncertain Information 221 of summarization and refinement [
5
]...
Achille Fokoue
,
et al.
Assessing Trust in Uncertain Information
...In our previous work [
7
], we have shown that a summarization and refinement approach enables tableau-based SHIN reasoners to scale to very large knowledge base such as one encoding the current state of the world for our security application...
...We use the same summarization and refinement approach (see section 3.1.2), which is responsible for SHER unique scalability over large knowledge bases as established in [1,
7
, 8]. 4 We further require that if x is a variable appearing in C, then it must also appear in one of the Pi...
...We have shown that using this approach, one can support scalable DL reasoning that not only encodes sophisticated spatial-temporal sensitivity decay and situation-aware access control policies but also supports explanations [
7
] indicating why an object is shareable or not...
Achille Fokoue
,
et al.
A decision support system for secure information sharing
...For example, in [
4
], ontologies are automatically constructed as an output from text mining, and it is possible for the resulting ontologies can be inconsistent...
Matthew Horridge
,
et al.
Explaining Inconsistencies in OWL Ontologies
...In our current implementation, SOR ontology repository [17] is used to store ontologies and rules, and SHER engine [
15
] for ontology classification reasoning...
...Under this category, we further classify the reasoning as the following two types: Reasoning based on Description Logic (DL): We apply IBM SHER engine [
15
] to support all concept assertions...
...It is reported in [
15
] that SHER can process ABox queries with up to 7.4 million assertions efficiently...
Li Ma
,
et al.
Semantic Enhancement for Enterprise Data Management
References
(12)
The Summary Abox: Cutting Ontologies Down to Size
(
Citations: 32
)
Achille Fokoue
,
Aaron Kershenbaum
,
Li Ma
,
Edith Schonberg
,
Kavitha Srinivas
Conference:
International Semantic Web Conference - ISWC
, pp. 343-356, 2006
Optimization Strategies for Instance Retrieval
(
Citations: 22
)
Volker Haarslev
,
Ralf Moller
Conference:
Description Logics - DLog
, 2002
Querying the Semantic Web: A Formal Approach
(
Citations: 121
)
Ian Horrocks
,
Sergio Tessaris
Conference:
International Semantic Web Conference - ISWC
, pp. 177-191, 2002
Reasoning with large numbers of individuals moves on: extending the instance store
(
Citations: 1
)
Lei Li
Conference:
Conference on Automated Deduction - CADE
, 2004
Pellet: An OWL DL Reasoner
(
Citations: 182
)
Evren Sirin
,
Bijan Parsia
Conference:
Description Logics - DLog
, 2004
Sort by:
Citations
(21)
Ontology Management in an Event-Triggered Knowledge Network
(
Citations: 2
)
Chen Zhou
,
Xuelian Xiao
,
Jeff DePree
,
Howard W. Beck
,
Stanley Y. W. Su
Conference:
European Semantic Web Symposium / Conference - ESWS
, pp. 410-424, 2010
Assessing Trust in Uncertain Information
Achille Fokoue
,
Mudhakar Srivatsa
,
Robert Young
Conference:
International Semantic Web Conference - ISWC
, pp. 209-224, 2010
Scalable highly expressive reasoner (SHER)
(
Citations: 7
)
Julian Dolby
,
Achille Fokoue
,
Aditya Kalyanpur
,
Edith Schonberg
,
Kavitha Srinivas
Journal:
Journal of Web Semantics
, vol. 7, no. 4, pp. 357-361, 2009
A decision support system for secure information sharing
(
Citations: 4
)
Achille Fokoue
,
Mudhakar Srivatsa
,
Pankaj Rohatgi
,
Peter Wrobel
,
John Yesberg
Conference:
Symposium on Access Control Models and Technologies - SACMAT
, pp. 105-114, 2009
OWL Reasoning in the Real World: Searching for Godot
(
Citations: 1
)
Kavitha Srinivas
Conference:
Description Logics - DLog
, 2009