Results 1 - 10
of
30
Reducing OWL Entailment to Description Logic Satisfiability
- Journal of Web Semantics
, 2003
"... We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the description logics. ..."
Abstract
-
Cited by 167 (17 self)
- Add to MetaCart
We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the description logics.
Swoop: A Web Ontology Editing Browser
- Journal of Web Semantics
, 2005
"... In this paper, we describe Swoop, a hypermedia inspired Ontology Browser and Editor based on OWL, the recently standardized Web-oriented ontology language. After discussing the design rationale and architecture of Swoop, we focus mainly on its features, using illustrative examples to highlight its u ..."
Abstract
-
Cited by 64 (14 self)
- Add to MetaCart
In this paper, we describe Swoop, a hypermedia inspired Ontology Browser and Editor based on OWL, the recently standardized Web-oriented ontology language. After discussing the design rationale and architecture of Swoop, we focus mainly on its features, using illustrative examples to highlight its use. We demonstrate that with its web-metaphor, adherence to OWL recommendations and key unique features such as Collaborative Annotation using Annotea, Swoop acts as a useful and efficient web ontology development tool. We conclude with a list of future plans for Swoop, that should further increase its overall appeal and accessibility.
A tool for working with web ontologies
- International Journal on Semantic Web and Information Systems
, 2005
"... Abstract. The task of building an open and scalable ontology browsing and editing tool based on OWL, the first standardized Web-oriented ontology language, requires the rethinking of critical User Interface and ontological engineering issues. In this paper, we describe Swoop, a browser and editor sp ..."
Abstract
-
Cited by 42 (9 self)
- Add to MetaCart
Abstract. The task of building an open and scalable ontology browsing and editing tool based on OWL, the first standardized Web-oriented ontology language, requires the rethinking of critical User Interface and ontological engineering issues. In this paper, we describe Swoop, a browser and editor specifically tailored to OWL ontologies. Taking a ”Web view” of things has proven quite instructive and we discuss some insights into Web Ontologies that we gained through our experience with Swoop, including issues related to the display, navigation, editing and collaborative annotation of OWL ontological data.
N.R.: A Software Framework for Automated Negotiation
- In: Proceedings of SELMAS’2004, LNCS 3390
, 2005
"... Abstract. If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when negotiation terminates, and what is the structure of the resulting agreements. Current standardization activities ..."
Abstract
-
Cited by 31 (2 self)
- Add to MetaCart
Abstract. If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when negotiation terminates, and what is the structure of the resulting agreements. Current standardization activities such as FIPA [2] and WS-Agreement [3] represent this as a negotiation protocol specifying the flow of messages. However, they omit other aspects of the rules of negotiation (such as obliging a participant to improve on a previous offer), requiring these to be represented implicitly in an agent’s design, potentially resulting incompatibility, maintenance and re-usability problems. In this chapter, we propose an alternative approach, allowing all of a mechanism to be formal and explicit. We present (i) a taxonomy of declarative rules which can be used to capture a wide variety of negotiation mechanisms in a principled and well-structured way; (ii) a simple interaction protocol, which is able to support any mechanism which can be captured using the declarative rules; (iii) a software framework for negotiation that allows agents to effectively participate in negotiations defined using our rule taxonomy and protocol and (iv) a language for expressing aspects of the negotiation based on OWL-Lite [4]. We provide examples of some of the mechanisms that the framework can support. 1
DEBUGGING AND REPAIR OF OWL ONTOLOGIES
, 2006
"... With the advent of Semantic Web languages such as OWL (Web Ontology Language), the expressive Description Logic SHOIN is exposed to a wider audience of ontology users and developers. As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the on ..."
Abstract
-
Cited by 31 (0 self)
- Add to MetaCart
With the advent of Semantic Web languages such as OWL (Web Ontology Language), the expressive Description Logic SHOIN is exposed to a wider audience of ontology users and developers. As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors becomes an extremely hard task even for experts. The problem is worse for newcomers to OWL who have little or no experience with DL-based knowledge representation. Existing ontology development environments, in conjunction with a reasoner, provide some limited debugging support, however this is restricted to merely reporting errors in the ontology, whereas bug diagnosis and resolution is usually left to the user. In this thesis, I present a complete end-to-end framework for explaining, pinpointing and repairing semantic defects in OWL-DL ontologies (or in other words, a SHOIN knowledge base). Semantic defects are logical contradictions that manifest as either inconsistent ontologies or unsatisfiable concepts. Where possible, I show extensions to handle related defects such as unsatisfiable roles, unintended entailments and nonentailments,
The foundational model of anatomy in OWL: Experience and perspectives
- Web Semantics: Science, Services and Agents on the World Wide Web
"... Abstract. This paper reports our experience with OWL for the Foundational Model of Anatomy (FMA). We show that converting the FMA from Protégé into OWL DL was possible, with most features of the original FMA captured. The conversion relies on translation and enrichment rules, implemented with flexib ..."
Abstract
-
Cited by 25 (6 self)
- Add to MetaCart
Abstract. This paper reports our experience with OWL for the Foundational Model of Anatomy (FMA). We show that converting the FMA from Protégé into OWL DL was possible, with most features of the original FMA captured. The conversion relies on translation and enrichment rules, implemented with flexible options. Unsurprisingly, reasoning with OWL proved to be a real challenge, due to the sheer size and complexity of the FMA. As the entire FMA in OWL DL raised inference problems hard to solve in terms of time and memory, an incremental approach was adopted. A number of various smaller versions that Racer could handle were successfully tested. Some inconsistencies were identified and some classes reclassified. The analysis of the results obtained so far shows the benefits of representing the FMA in OWL and, more generally, the usefulness of DLs reasoning techniques for large-scale biomedical ontologies shared on the Web. 1
Using Bayesian Decision for Ontology Mapping
- Journal of Web Semantics
, 2006
"... Ontology mapping is the key point to reach interoperability over ontologies. In semantic web environment, ontologies are usually distributed and heterogeneous and thus it is necessary to find the mapping between them before processing across them. Many efforts have been conducted to automate the dis ..."
Abstract
-
Cited by 16 (2 self)
- Add to MetaCart
Ontology mapping is the key point to reach interoperability over ontologies. In semantic web environment, ontologies are usually distributed and heterogeneous and thus it is necessary to find the mapping between them before processing across them. Many efforts have been conducted to automate the discovery of ontology mapping. However, some problems are still evident. In this paper, ontology mapping is formalized as a problem of decision making. In this way, discovery of optimal mapping is cast as finding the decision with minimal risk. An approach called Risk Minimization based Ontology Mapping (RiMOM) is proposed, which automates the process of discoveries on 1:1, n:1, 1:null and null:1 mappings. Based on the techniques of normalization and NLP, the problem of instance heterogeneity in ontology mapping is resolved to a certain extent. To deal with the problem of name conflict in mapping process, we use thesaurus and statistical technique. Experimental results indicate that the proposed method can significantly outperform the baseline methods, and also obtains improvement over the existing methods. © 2006 Elsevier B.V. All rights reserved.
Discovering the semantics of user keywords
- Journal on Universal Computer Science. Special Issue: Ontologies and their Applications
, 2007
"... Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under these circumstances, many times current web search engines do not provide users with the information they seek, because the ..."
Abstract
-
Cited by 16 (11 self)
- Add to MetaCart
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under these circumstances, many times current web search engines do not provide users with the information they seek, because these search tools mainly use syntax based techniques. However, search engines based on semantic and context information can help overcome some of the limitations of current alternatives. In this paper, we propose a system that takes as input a list of plain keywords provided by a user and translates them into a query expressed in a formal language without ambiguity. Our system discovers the semantics of user keywords by consulting the knowledge represented by many (heterogeneous and distributed) ontologies. Then, context information is used to remove ambiguity and build the most probable query. Our experiments indicate that our system discovers the user’s information need better than traditional search engines when the semantics of the request is not the most popular on the Web.
Analyzing Web Access Control Policies
- WWW 2007 / TRACK: SECURITY, PRIVACY, RELIABILITY, AND ETHICS; SESSION: ACCESS CONTROL AND TRUST ON THE WEB
, 2007
"... XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this paper, we present a formalization of XACML using description logics (DL), which are a decidable fragment of First-Order logic ..."
Abstract
-
Cited by 16 (2 self)
- Add to MetaCart
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this paper, we present a formalization of XACML using description logics (DL), which are a decidable fragment of First-Order logic. This formalization allows us to cover a more expressive subset of XACML than propositional logic-based analysis tools, and in addition we provide a new analysis service (policy redundancy). Also, mapping XACML to description logics allows us to use off-the-shelf DL reasoners for analysis tasks such as policy comparison, verification and querying. We provide empirical evaluation of a policy analysis tool that was implemented on top of open source DL reasoner Pellet.
K.: User-friendly ontology authoring using a controlled language
- In Proceedings of LREC 2006 - 5th International Conference on Language Resources and Evaluation. ELRA/ELDA
, 2006
"... In recent years, following the rapid development in the Semantic Web and Knowledge Management research, ontologies have become more in demand in Natural Language Processing. An increasing number of systems use ontologies either internally, for modelling the domain of the application, or as data stru ..."
Abstract
-
Cited by 14 (4 self)
- Add to MetaCart
In recent years, following the rapid development in the Semantic Web and Knowledge Management research, ontologies have become more in demand in Natural Language Processing. An increasing number of systems use ontologies either internally, for modelling the domain of the application, or as data structures that hold the output resulting from the work of the system, in the form of knowledge bases. While there are many ontology editing tools aimed at expert users, there are very few which are accessible to users wishing to create simple structures without delving into the intricacies of knowledge representation languages. The approach described in this paper allows users to create and edit ontologies simply by using a restricted version of the English language. The controlled language described within is based on an open vocabulary and a restricted set of grammatical constructs. Sentences written in this language unambiguously map into a number of knowledge representation formats including OWL and RDF-S to allow round-trip ontology management.

