research-article

Free access

OWL-based reasoning with retractable inference

Authors:

Carlo Jelmini,

Stéphane Marchand-MailletAuthors Info & Claims

RIAO '04: Coupling approaches, coupling media and coupling languages for information retrieval

Pages 753 - 762

Published: 26 April 2004 Publication History

PDF eReader

Abstract

As a solution to maintain, process and enrich knowledge in the multimedia description framework we are constructing, we propose a forward chaining knowledge base and reasoning engine, supporting RDF documents and OWL Lite ontologies, with the ability to perform non-monotonic, retractable inference. Within our framework, the knowledge over the media collection can be collected in several ways. As we cannot wait for the system to reach an hypothetical state where full knowledge is available, the system has to be able to reason over incomplete knowledge and produce tentative conclusions. As more knowledge is collected over the collection, some of the conclusions need to be retracted from the knowledge base and other conclusions inferred.

References

[1]

Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. (2003). The description logic handbook: Theory, implementation and applications. Cambridge University Press.

Digital Library

Google Scholar

[2]

Bechhofer, S., Harmelen, F. van, Hendler, J., Horrocks, I., McGuinness, D. L., Patel-Schneider, P. F., & Stein, L. A. (2003). OWL Web Ontology Language Reference. W3C. (www.w3.org/TR/2003/CR-owl-ref-20030818/)

Google Scholar

[3]

Biron, P. V., & Malhotra, A. (2001, May). XML Schema part 2: Datatypes. W3C. (www.w3.org/TR/2001/REC-xmlschema-2-20010502/)

Google Scholar

[4]

Brickley, D., & Guha, R. (2003, October). RDF Vocabulary Description Language 1.0: RDF Schema. W3C. (www.w3.org/TR/2003/WD-rdf-schema-20031010/)

Google Scholar

[5]

Friedman-Hill, E. J. (2003). Jess, the rule engine for the Java platform. (herzberg.ca.sandia.gov/jess/)

Google Scholar

[6]

Haarslev, V., & Möller, R. (2001). Description of the RACER system and its applications. In Description logics workshop dl2001 (p. 132-142). Stanford, CA.

Google Scholar

[7]

Hayes, P. (2003). RDF Semantics. W3C. (www.w3.org/TR/2003/WD-rdf-mt-20031010/)

Google Scholar

[8]

Horrocks, I. (1999). FaCT and iFaCT. In Description logics.

Google Scholar

[9]

Kopena, J., & Regli, W. (2003). DAMLJessKB: A tool for reasoning with the Semantic Web. IEEE Intelligent Systems, 18(3), 74--77.

Digital Library

Google Scholar

[10]

Marchand-Maillet, S., & Bruno, E. (2004). Exploiting user interaction for semantic content-based image retrieval. In Trends and advances in content-based image and video retrieval. Springer.

Google Scholar

[11]

Patel-Schneider, P. F., Hayes, P., & Horrocks, I. (2003). OWL Web Ontology Language semantics and abstract syntax. W3C. (www.w3.org/TR/2003/CR-owl-semantics-20030818/)

Google Scholar

[12]

Sintek, M., & Decker, S. (2002). TRIPLE a query, inference, and transformation language for the Semantic Web. In International semantic web conference (iswc).

Digital Library

Google Scholar

[13]

Smeulders, A. W. M., Worring, M., Santini, S., Gupta, A., & Jain, R. (2000). Content-based image retrieval at the end of the early years. IEEE Trans. Pattern Analysis and Machine Intelligence, 22(12), 1349--1380.

Digital Library

Google Scholar

Recommendations

An ontology in OWL for legal case-based reasoning

The paper gives ontologies in the Web Ontology Language (OWL) for Legal Case-based Reasoning (LCBR) systems, giving explicit, formal, and general specifications of a conceptualisation LCBR. Ontologies for different systems allows comparison and contrast ...
Reasoning with fuzzy extensions of OWL and OWL 2

Fuzzy Description Logics (f-DLs) have been proposed as logical formalisms capable of representing and reasoning with vague/fuzzy information. They are envisioned to be helpful for many applications that need to cope with such type of information such as ...
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence

In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules, in order to deduce new knowledge. In this paper we briefly introduce ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

RIAO '04: Coupling approaches, coupling media and coupling languages for information retrieval

April 2004

935 pages

ISBN:905450096

Conference Chair:
Chantal Soulé-Dupuis
IRIT - Université de Toulouse (France)

Publisher

LE CENTRE DE HAUTES ETUDES INTERNATIONALES D'INFORMATIQUE DOCUMENTAIRE

Paris, France

Publication History

Published: 26 April 2004

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
48
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)8

Reflects downloads up to 10 Feb 2025

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Recommendations

An ontology in OWL for legal case-based reasoning

Reasoning with fuzzy extensions of OWL and OWL 2

Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations