By Topic

Rules and Rule Markup Languages for the Semantic Web, Second International Conference on

Date 10-11 Nov. 2006

Filter Results

Displaying Results 1 - 23 of 23
  • Second International Conference on Rules and Rule Markup Languages for the Semantic Web [Cover]

    Publication Year: 2006 , Page(s): c1
    Request Permissions | PDF file iconPDF (59 KB)  
    Freely Available from IEEE
  • Second International Conference on Rules and Rule Markup Languages for the Semantic Web-Title

    Publication Year: 2006 , Page(s): i - iii
    Request Permissions | PDF file iconPDF (46 KB)  
    Freely Available from IEEE
  • Second International Conference on Rules and Rule Markup Languages for the Semantic Web-Copyright

    Publication Year: 2006 , Page(s): iv
    Request Permissions | PDF file iconPDF (46 KB)  
    Freely Available from IEEE
  • Second International Conference on Rules and Rule Markup Languages for the Semantic Web -T OC

    Publication Year: 2006 , Page(s): v - vi
    Request Permissions | PDF file iconPDF (45 KB)  
    Freely Available from IEEE
  • Foreword

    Publication Year: 2006 , Page(s): vii
    Request Permissions | PDF file iconPDF (24 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Chairs and Steering Committee

    Publication Year: 2006 , Page(s): viii
    Request Permissions | PDF file iconPDF (29 KB)  
    Freely Available from IEEE
  • Academic Track Program Committee

    Publication Year: 2006 , Page(s): ix
    Request Permissions | PDF file iconPDF (30 KB)  
    Freely Available from IEEE
  • Industrial Track Program Committee

    Publication Year: 2006 , Page(s): x
    Request Permissions | PDF file iconPDF (29 KB)  
    Freely Available from IEEE
  • External referees

    Publication Year: 2006 , Page(s): xi
    Request Permissions | PDF file iconPDF (20 KB)  
    Freely Available from IEEE
  • The limits and possibilities of combining Description Logics and Datalog

    Publication Year: 2006 , Page(s): 3 - 4
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (73 KB) |  | HTML iconHTML  

    Description Logics are currently the most used formalisms for building ontologies, and have been proposed as standard languages for the specification of ontologies in the Semantic Web. The problem of adding rules to Description Logics is currently a hot research topic, due to the interest of Semantic Web applications towards the integration of rule-based systems with ontologies. Most of the approa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Translating Ontologies from Predicate-based to Frame-based Languages

    Publication Year: 2006 , Page(s): 7 - 16
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (283 KB) |  | HTML iconHTML  

    Many popular ontology languages are based on (subsets of) first-order predicate logic, where classes are modeled as unary predicates and properties as binary predicates. Specifically, the ontology language OWL DL is based on the Description Logic SHOIQ. F-Logic is an ontology language which is also based on first-order logic, but classes and properties are modeled as terms, rather than predicates.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How to reason with OWL in a logic programming system

    Publication Year: 2006 , Page(s): 17 - 28
    Cited by:  Papers (9)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (214 KB) |  | HTML iconHTML  

    Logic programming has always been a major ontology modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g., by means of the F-Logic reasoning engine OntoBroker or the TRIPLE query, inference, and transformation language and system. At the same time, the Web Ontology Language OWL has been recommended by the W3C for modeling ontologies for the Web... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining ECA Rules with Process Algebras for the Semantic Web

    Publication Year: 2006 , Page(s): 29 - 38
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (183 KB) |  | HTML iconHTML  

    We describe how event-condition-action (ECA) rules can be combined with process algebras like CCS as specification of the action part to obtain a powerful, declarative formalism that also covers intuitively procedural tasks in an appropriate way. Since both formalisms have a concise formal semantics, verification and other kinds of reasoning about such specifications are possible. Using a rule mar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Framework for Composition and Inter-operation of Rules in the Semantic Web

    Publication Year: 2006 , Page(s): 39 - 50
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (206 KB) |  | HTML iconHTML  

    Developments in the RuleML initiative have led to the design of several languages for representing rules. In this paper we describe a framework, based on the integration of different flavors of logic programming, aimed at facilitate reasoning with multiple sources of knowledge expressed in an heterogeneity of RuleML languages. The framework allows the derivation of logic programming modules from e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating Rewrite Rules by Browsing RDF Data

    Publication Year: 2006 , Page(s): 51 - 57
    Cited by:  Papers (4)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1232 KB) |  | HTML iconHTML  

    In this paper we show how path queries in the Wilbur query engine can be augmented via the use of a simple rule system. This system can substitute atomic query expressions with complex queries, effectively rewriting queries. We demonstrate that this approach can be used for simple reasoning in the context of RDF(S). We further present a tool that allows the user to create complex queries merely by... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data Integration using Semantic Technology: A use case

    Publication Year: 2006 , Page(s): 58 - 66
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (828 KB) |  | HTML iconHTML  

    For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies provide an integrated view of the data. F-Logic rules are used to describe mappings between data objects in data source or business ontologies. Furthermore, F-Logic is used as the query language. F-Logic rules are perfectl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules

    Publication Year: 2006 , Page(s): 67 - 74
    Cited by:  Papers (6)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (107 KB) |  | HTML iconHTML  

    BaseVISor is a forward-chaining inference engine based on a Rete network optimized for the processing of RDF triples. A clause within the body and head of a rule either represents an RDF triple or invokes a procedural attachment (either built-in or user defined). This paper describes how BaseVISor has been outfitted to process RuleML and R-Entailment rules. In the case of RuleML, n-ary predicates ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying Semantic Rules to Achieve Dynamic Service Oriented Architectures

    Publication Year: 2006 , Page(s): 75 - 82
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (384 KB) |  | HTML iconHTML  

    As the complexity and tempo of world events increase, command and control (C2) systems must move to a new paradigm that supports the ability to dynamically modify system behavior in complex, changing environments. Historically, the behavior of Department of Defense (DoD) C2 systems has been embedded in executable code, providing static functionality that is difficult to change. We propose the use ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rule-based intelligence in the Semantic Web-or-"I'll settle for a web that's just not so dumb!"

    Publication Year: 2006 , Page(s): 83 - 88
    Cited by:  Papers (7)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (149 KB) |  | HTML iconHTML  

    One could fairly say that the role of rules in the semantic Web has been controversial; in the few short years since the first publication of the semantic Web stack, Rules have sometimes been given a central role, at other times a peripheral role, and sometimes left out completely. Why such variation for an technology with thirty years of background? The reason for these differences of opinion ste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

    Publication Year: 2006 , Page(s): 89 - 96
    Cited by:  Papers (5)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (256 KB) |  | HTML iconHTML  

    Vagueness and imprecision abound in multimedia information processing and retrieval. In this paper, towards dealing with vagueness and imprecision in the reasoning layers of the semantic Web, we present an approach to fuzzy description logic programs under the answer set semantics. We generalize normal description logic programs (dl-programs) under the answer set semantics by fuzzy vagueness and i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Approach to Representing Uncertainty Rules in RuleML

    Publication Year: 2006 , Page(s): 97 - 106
    Cited by:  Papers (4)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (149 KB) |  | HTML iconHTML  

    The RuleML initiative defines a normalized markup for expressing and exchange rules in the semantic Web. However, the syntax of the language is still limited and lacks features for representing rule-based languages capable of handling uncertainty. It is desirable to have a general extension of RuleML which accommodates major existing languages proposed in the latest two decades. The main contribut... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Learning Rules to Pre-process Web Data for Automatic Integration

    Publication Year: 2006 , Page(s): 107 - 116
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1105 KB) |  | HTML iconHTML  

    Web pages such as product catalogues and Web sites resulting from querying a search engine often follow a global layout template which facilitates the retrieval of information for a user. In this paper we present a technique which makes such content machine-processable by extracting and transforming it into tabular form. We achieve this goal via ViPER, our fully automatic wrapper system, while loc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 2006 , Page(s): 117
    Request Permissions | PDF file iconPDF (27 KB)  
    Freely Available from IEEE