Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2017

Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving

Yue Ma
Dirk Walther
  • Function : Author
No file

Dates and versions

hal-04423048 , version 1 (29-01-2024)

Identifiers

  • HAL Id : hal-04423048 , version 1

Cite

Jieying Chen, Yue Ma, Dirk Walther. Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. 31st International Workshop on Description Logics, Oct 2017, Tempe, Arizona, United States. ⟨hal-04423048⟩
7 View
0 Download

Share

Gmail Facebook X LinkedIn More