The transition to a design based on information modeling has paved the way for automated verification of project documentation. most complicated type documentation check is assessment compliance with requirements regulatory documents since its automation requires translation statements written in natural language into machine-readable format. At same time, building codes and regulations should ...

Directed labeled graphs (DLGs) provide a good starting point for visual data & knowledge representation but cannot straightforwardly represent non-binary relationships, nested structures, and relation descriptions. These advanced features require encoded constructs with auxiliary nodes and relationships, which also need to be kept separate from straightforward constructs. Therefore, various ext...

Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used. This paper describes these scenarios in more detail, and reports on th...

We address the problem in automated knowledge-based e-contracts of how to represent exception handling provisions – which in many (if not most) natural language contracts constitute the majority of the contract's volume. We make three main novel contributions. First, we newly extend the previous SweetDeal e-contracting approach to incorporate ontology knowledge, specifically ontologies about bu...

IN recent years, rule-based technologies have enjoyed remarkable adoption in two areas: 1) business rule processing and 2) Web-centered reasoning. The first trend is caused by the software development life cycle, which needs to be accelerated at reduced cost. The second trend is related to the Semantic Web and Service-oriented technologies, which aim to turn the Web into a huge repository of cr...

In this paper we present R-DEVICE, a deductive object-oriented knowledge base system for reasoning over RDF metadata. R-DEVICE imports RDF documents into the CLIPS production rule system by transforming RDF triples into COOL objects and uses a deductive rule language for reasoning about them. R-DEVICE is based on an OO RDF data model, different than the established triple-based model, which map...

Web pages provide valuable knowledge for human comprehension in text, tables, and mathematical notations. However, the extraction and maintenance of structured rules from the Web pages are not easy tasks. To tackle these problems, we adopt the eXtensible Rule Markup Language framework. The RIML (Rule Identification Markup Language) and RSML (Rule Structure Markup Language) are two compliant rep...

In this paper, an innovative Personalized Location Information System for the Semantic Web (called SPLIS) is presented. The proposed system adopts schema.org ontology and combines it with rule-based policies, to deliver fully contextualized information to the user of a location-based system. Owners of points of interest can add their own rule-based policies to SPLIS to expose and deploy their m...

In this technical report we describe the XML code generation component for the rule modeling tool Strelka. The component implementation is based on the compositional mapping from the URML metamodel into R2ML XML markup. We define a mapping function for derivation, production and reaction rules. Keyword List Rules, URML, R2ML, Rule Markup Language, Semantic Web, Rule Interchange Project co-funde...

Multimedia service providers on the web need their services to be well protected and easily accessible worldwide. This has initiated several lines of research to provide semantically rich policy-aware web services. However, the existence of various technologies to define and protect services has made the communication of services questionable. Currently, it is ambiguous how a broker agent looki...