Tabling is an evaluation strategy for Prolog programs that works by storing answers in a table space and then by using them in similar subgoals. Some tabling engines use call by subsumption, where it is determined that a subgoal will consume answers from a more general subgoal in order to reduce the search space and increase efficiency. We designed an extension, named Retroactive Call Subsumpti...

Whereas matching in Description Logics is now relatively well-investigated, there are only very few formal results on matching under additional side conditions, though these side conditions were already present in the original paper by Borgida and McGuinness introducing matching in DLs. The present paper closes this gap for the DL ALN and its sublanguages: matching under subsumption conditions ...

nowadays, the idea of creating virtual organizations has been presented by scholars as a new method of collaboration and managing the collaboration and has been known as an applicable approach in insurance industry. based on above applicability, this idea has been considered in this paper for a virtual insurer organization and according to efficiency and effectiveness of enterprise architecture...

Currently, datasets in the Linked Open Data (LOD) cloud are mostly connected by properties such as owl:sameAs, rdfs:subClassOf, or owl:equivalentProperty. These properties either link pairs of entities that are equivalent or express some other binary relationship such as subsumption. In many cases, however, this is not sufficient to link all types of equivalent knowledge. Often, a relationship ...

A new kind of concept representation and processing formalisms, dynamic concept systems (DCS), is introduced. DCS are designed to model context-sensitive and compositionally productive interaction of many concepts in a quasi-continuous fashion, with subsumption, robust classification and metonymy as derivable features. DCS are symbolic throughout but in some respects inspired by complex systems...

today, enterprise architecture(ea) is one of the most important it solutions for business and it strategic alignment and also it is so supportive and effective tool for organizing and managing complicated information system in dynamic organization environment. due to efficient enterprise architecture management the organization can obtain the ea valuable benefits. ea maturity assessment is a he...