Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs

Francisco Martin-RecuerdaFrancisco Martin-Recuerda,  Dirk WaltherDirk Walther
Francisco Martin-Recuerda, Dirk Walther
Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs
In Chiara Del Vescovo and Torsten Hahmann and David Pearce and Dirk Walther, eds., Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013, volume 1081 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
@inproceedings{ MRW-WOMO-13,
  author = {Francisco {Martin-Recuerda} and Dirk {Walther}},
  booktitle = {Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013},
  editor = {Chiara Del {Vescovo} and Torsten {Hahmann} and David {Pearce} and Dirk {Walther}},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs},
  volume = {1081},
  year = {2013},
}