Event-driven reactive functionalities are an urgent need in nowadays distributed service-oriented applications and (Semantic) Web-based environments. An important problem to be addressed is how to correctly and efficiently capture and process the event-based behavioral, reactive logic represented as ECA rules in combination with other conditional decision logic which is represented as derivatio...

XML plays an important role as the standard language for representing structured data for the traditional Web, and hence many Web-based knowledge management repositories store data and documents in XML. If semantics about the data are formally represented in an ontology, then it is possible to extract knowledge: This is done as ontology definitions and axioms are applied to XML data to automati...

The role of conceptual modeling in Educational Adaptive Hypermedia Applications (EAHA) is especially important. Α conceptual model of an educational application depicts the instruc-tional solution that is implemented, containing information about concepts that must be ac-quired by learners, tasks in which learners must be involved and resources that will be used. The importance of such a model ...

Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrepancy between these two knowledge representations, this paper introduces Datalog as a family of hybrid languages, where Datalog rules are parameterized by various DL (description logic) languages ranging from ALC to SHIQ . Making Datalog a decidable system with complexity of EXPTIME, we propose in...

Patients increasingly interact in support groups, which provide shared information and experiences about diseases, treatments, etc. Much of this interaction is mediated by the Social Web, allowing worldwide reach but lacking in semantic precision. We present an online prototype, PatientSupporter, to create a Social Semantic Subweb that will facilitate high-precision networking between patients ...

This research aims to define an integrated methodology for modelling judgments, starting from legal texts and capturing not only structural parts but also arguments used by judges to reach conclusions. The goal is to build a complete ontology framework capable of detecting and modelling knowledge from the judgement’s text. The formalized judgements provide the necessary metadata for the rule la...

یکی از دلایل اصلی بروز خطا در ساخت بند موصولی سوی زبان آموزان فارسی که مشغول یادگیری آلمانی هستند، استفاده ضمیر برای عنوان می شود با هسته به لحاظ جنس دستوری و شمار مطابقه دارد. مقابل، تنها حرف ربط «که» بهره برد ارتباط نحوی یا معنایی ندارد. دیگر، راهبردهایی هر دو مورد قرار گیرند نیز کاملا متفاوت اند. بر اساس فرضیه پژوهش حاضر، نظر رسد بیشترین خطاها بخش رخ دهند: یک سو، انتخاب نادرست روبرو هستیم. ع...

Users often enter a local expression to constrain a web search to ageographical place. Current search engines’ capability to deal with expressionssuch as “close to” is, however, limited. This paper presents an approach thatuses topological background knowledge to rewrite queries containing localexpressions in a format better suited to standard search engines. To formalizelocal expressions, the ...

As the information management paradigm shifts from data management to knowledge management, active rule support for various information services has become a practical approach to add intelligence to the existing information management systems. Various active rule systems have been developed using different rule description languages and, yet, their business logics are not sharable with each ot...

تصویربرداری مقطع‌نگاری نوترونی یکی از کاربردهای مدرن رآکتورهای تحقیقاتی در سرتاسر جهان به‌شمار می‌رود. تلفیق قابلیت نمایش سه‌بعدی با ویژگی‌های منحصر به فرد برهم‌کنش نوترون مواد، می‌تواند اطلاعات بسیار ارزشمندی ساختار داخلی مواد و تجهیزات را اختیار محققین قرار ‌دهد. این تحقیق، تأثیر هندسه داده‌برداری تجربی روش بازسازی تصویر بر کیفیت تصاویر سامانه رآکتور تهران براساس شاخص وضوح میزان تولید نویز مو...