• No se han encontrado resultados

description logics

TítuloUsing description logics to integrate fishers' ecological knowledge in the research of artisanal fisheries

TítuloUsing description logics to integrate fishers' ecological knowledge in the research of artisanal fisheries

... Faced with these scenarios some argue that finding ways to incor- porate fishers’ participation would improve our capacity to manage fisheries sustainable. In [21] a methodology for collecting and in- tegrating fishers’ ...

6

Tableau calculi for description logics revision

Tableau calculi for description logics revision

... [1] M. Falappa M. Moguillansky. Tableau calculi for revision of description logics knowledge bases. Computing science technical report, Universidad Nacional del Sur (UNS), Departamento de Cs. e Ing. de ...

5

Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions

Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions

... Description Logics (DL) are a well-known family of knowledge representation formalisms [3]. They are based on the notions of concepts (unary predicates, classes) and roles (binary relations), and are mainly ...

7

Describing images using qualitative models and description logics

Describing images using qualitative models and description logics

... qualitative description of images by means of a DL-based ontology. Description logics enable us to balance the need for expressive power with good computational properties for our ...spatial ...

31

A preliminary framework for reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions

A preliminary framework for reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions

... Abstract. We present a preliminary framework for reasoning with pos- sibilistic description logics ontologies with disjunctive assertions (PDLDA ontologies for short). PDLDA ontologies are composed of a ...

10

Model contractions on description logics

Model contractions on description logics

... When using tableaux algorithms to reason about Description Logics (DLs), new informa- tion is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology ...

12

Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view

Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view

... In modern times, the first who thought in terms of three-valued logic has been C. S. Peirce in a manuscript of 1909, but he did not make it public. The birth of many-valued logics is, indeed, attributed to J. ...

205

Razonamiento y evolución ontológica con tolerancia a inconsistencias : un enfoque argumentativo a revisión de description logics

Razonamiento y evolución ontológica con tolerancia a inconsistencias : un enfoque argumentativo a revisión de description logics

... jo seminal de Dung (Dun95) sobre marcos argumentativos abstractos y sus sem´anticas, y otras sem´anticas argumentativas ampliamente referidas en la literatura especializada como lo son los ´arboles de dial´ectica. Por ´ ...

192

On the use of belief revision to merge description logic terminologies

On the use of belief revision to merge description logic terminologies

... A union operation of terminologies probably yields contradictions on concept definitions and further inconsistence in the resultant terminology. The use of a belief revision framework to define terminologies in order to ...

5

Aproximaciones al vínculo entre la agenda institucional y la agenda pública: el caso del Senado de la República de México

Aproximaciones al vínculo entre la agenda institucional y la agenda pública: el caso del Senado de la República de México

... Description: Includes issues related to military procurement, conversion of old equipment, and weapons systems evaluation 1611: Installations & Land Description: Includes issues related [r] ...

223

Paraelastic description of small-strain behaviour

Paraelastic description of small-strain behaviour

... One can use different non-linear equations to express the shear stress-strain relationship τ − γ. The volumetric strain is determined by using shear stress or strain histories obtained by the response analysis [68]. ...

198

Ramsar COP10 DR 15 Draft Resolution X.15 Describing the ecological character of wetlands, and data needs and formats for core inventory: harmonized scientific and technical guidance

Ramsar COP10 DR 15 Draft Resolution X.15 Describing the ecological character of wetlands, and data needs and formats for core inventory: harmonized scientific and technical guidance

... 16. Thus in many instances the data and information categories required are the same for these different purposes, and hence the main effort of data collation need only be undertaken once, rather than being duplicated. ...

17

TítuloSoftware Engineering and Management: a curriculum description

TítuloSoftware Engineering and Management: a curriculum description

... Software Engineering and Management a curriculum description Thomas Arts IT University of Gothenburg Gothenburg, Sweden thomas arts@ituniv se Software Engineering and Management A curriculum descripti[.] ...

27

A narratological approach to content selection in audio description: towards a strategy for the description of narratological time

A narratological approach to content selection in audio description: towards a strategy for the description of narratological time

... no description of this el- lipsis is needed, leaving more time for description of elements that are ...the description more explicitly; – Compression: the events from the fabula and the filmic narra- ...

25

Prueba de Habilidades CCNA2.

Prueba de Habilidades CCNA2.

... interface FastEthernet0/1 description PC VLAN 40 switchport access vlan 40 switchport mode access spanning-tree portfast.. interface FastEthernet0/2 description Puerto sin uso shut[r] ...

42

First description of echinococcus ortleppi and cystic echinococcosis infection status in Chile

First description of echinococcus ortleppi and cystic echinococcosis infection status in Chile

... First description of Echinococcus ortleppi and cystic echinococcosis infection status in Chile RESEARCH ARTICLE First description of Echinococcus ortleppi and cystic echinococcosis infection status in[.] ...

10

Description d’une Graminée nouvelle d’Afrique: “Digitaria parodii” Jac.-Fel - Sociedad Argentina de Botánica

Description d’une Graminée nouvelle d’Afrique: “Digitaria parodii” Jac.-Fel - Sociedad Argentina de Botánica

... glume inférieure présente mais caduque, membraneuse, tronquée, 0,2 mm. de long; glume supérieure 5-nerviée, aussi longue ou légère¬ ment plus longue que l’épillet, glabre dans la zone mé[r] ...

6

Show all 847 documents...

Related subjects